now forcing memb constraints just before reification