Very clever puzzle game. Combines Sokoban-like block pushing with predicate logic. So for example, if you create a rule like "Walls is you", you now control the walls, or you can undo an existing "Walls is stop"-rule and the walls are now non-colliding. The rules themselves are created/destroyed by pushing three blocks together: object IS property.