seed propositions delete