ÚLTIMA HORA: "Aristóteles agora escreveu a maioria das soluções formalizadas públicas sobre ." — Boris Alexeev, matemático