We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.
Trabajamos en ello a través de la teoría, mirando los sistemas de reglas abstractas y pensando en las matemáticas de fondo.