Restructured transition semantics (still untested).