Minor modifications to the way that pure propositions are handled.