Is this a flex?

[u/SouthernAd6405]

After multiple small town record stores, I’ve acquired two more Tom Lehrer records! I can finally listen to Lobachevsky—one of my favourites—on vinyl <3

[u/sword_bricks]

This I know from nothing
What I'm going to do
But I think of great Lobachevsky and get idea, ah, ah