superstate
not defined yet