4.13 The Maze Searching Domain
+ all-distinct?