Do not use evaluate() for razoring