NewState = NextStepProc ? ? ?