neighbourhood Moore
  (< > ^ v ^> ^< v> v<);
neighbourhood Foo
  (^ v < >);
state Space
  to Thing when 1 in Moore Thing;
state Thing
  to Space when 3 Space.