We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.
Мы работаем с помощью теории, глядя на системы абстрактных правил и размышляя о стоящей за всем этим математике.