Question on Mordenkainen's Disjunction