Mathematiker weinen und Logiker lachen.