Not at this point, since we are inside `if cond is not False`.