Logic and Propositions by Marc Bohnes