State Diagram: TOP:verify