replace with a new method for disequality, move to QF_S