#necessary condition #green light #must happen first #state requirement #go signal #prerequisite