no debug logging in check_if_EQ_old()