Good one. As a kid, my friend and I memorized the lyrics to the songs on the album That Was The Year That Was and we'd sing songs together to our teachers.
We were too cool for school…and apparently the favorable attention from the females of the species.
I first “met” Tom Lehrer at about age 9 via an LP titles “An Evening (Wasted) With Tom Lehrer” ...
“Lobachevsky” was supposed to be satire.
These jerks seem to take it as an instruction.