∧ "N"] → "Y"