english: We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.
non_english: Ми використовуємо теорію, вивчаємо системи правил, враховуємо математику, що стоїть за всім цим.