some more explicit state specs