Title: Propositions put to work