working on reification
working on reification
undid reification, working on forcing memb constraints just before reification