If not A then Y.