In the morning, a colleague argued that it would be time to stop considering November 7 a holiday. My friend’s name is Roman.