5 Propositions and Inference