Mathematicians are joking.