question.md

Explain what is wrong with the following proposed definition of adjacent squares in the wumpus world: $${\forall,x,y;;} {Adjacent}([x,y], [x+1, y]) \land {Adjacent}([x,y], [x, y+1])\ .$$