english: We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.
non_english: Bu konuda teoriye dayalı  çalışmalar yapıyoruz, soyut kural sistemlerine bakıyoruz ve bunun arkasındaki matematik hakkında düşünüyoruz.