Comment by zmgsabst

The language construct is exactly that if-then-else, you’re just making the intended inference.

A ? B : C => !B -> C