Added the structure of a set equality proof