Consequent.equals change