Propositions and Properties1. (7th September 2016)