[hanoz]

More accurately the sequence is red -> red & amber -> green -> amber -> red, so you can always tell which state is next.