The problem is not that we laugh too much, but that we laugh about everything.
证明的严谨性将数学与所有其他科学区分开来。