Congruence and Modulation in Propositional Attitudes