Draft of 'Propositional Logic as Language'