How do we get from propositions to behavior?