more modifications to congrueit