added: getMem(), disjoint(); halfway: getNewTripleByAssignment().