\alpha_2 = \mbox{``There is no pit in [2,2].''}\\\zt \alpha_3 = \mbox{``There is a wumpus in [1,3].''} If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal ...