You said “and if not” which is binary, but “[x] and if [predicate] [y]” is not generally exhaustive.