Marshall Harrison: general theory of elementary propositions on December 21, 2008 Marshall Harrison +