added sort to propositions