What should instructors teach students about Michigan's 'dead red' law?

1. All red lights automatically turn green after 2 minutes
2. Motorcyclists and bicyclists may proceed through a red light that fails to detect them after a reasonable wait
3. You can run a red light if no other traffic is present
4. Red lights are optional after midnight