BREAKING: "Aristoteles heeft nu de meeste van de publieke geformaliseerde oplossingen geschreven op ." — Boris Alexeev, wiskundige