finishing up equality precondition