Puzzle in Tunnels A

Autonomy Condition for Puzzle and Tunnels