failed propositions