Title: Propositions Put to Work (Revised)