För min information: Aristoteles självformaliserar nu hela matematikartiklar