Undo where wrapping of propositions