Simplify a condition in gives_check()