Martin Luther King, Jr., Day.

Today is Martin Luther King, Jr. Day, a school holiday.

I sure do wish I had remembered that fact BEFORE I rushed off to school this morning, and arrived at an empty classroom.