Text this: A Distribution Law for CCS and a New Congruence Result for the pi-calculus