Both “assert” and “verify” commands check whether the given condition is true or false and the only difference between them is that: