wumpus axioms and new workspace test