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