Smith, N. J. A Theory of Propositions. LLP 2015, 25, 83-125.