Traffic Light State machine example counter clock

Hi, I am fairly new to Quartus and Verilog having mainly a software background. I was looking at the use of the state machine wizard in a YouTube Tutorial at (259) How to create a State Machine w...