BREAKING: „Aristoteles hat jetzt die Mehrheit der öffentlichen formalisierten Lösungen zu .“ — Boris Alexeev, Mathematiker