That's right. I thought that "ha ha only serious" marks it as (non-jocular) sarcasm. @AmenZwa@mathstodon.xyz