Effects and Propositions