Ого. Дуже гарно і добре зроблено. Мені цікаво, як ці інструменти підштовхнуть молодих математиків і математику. Частина необхідного болю у вивченні математики — це болісно розмірковувати над доказом, який, можливо, ніколи не розгадаєш, але ця вправа корисна для розвитку структури та інтуїції.