It’s a good thing there isn’t a font for sarcasm because that would never be useful.