Templated Propositions