Propositions as Rules, 2015