 INPUT END. Your Propositions: 
