split state3 into state 3 and transitionary 4