We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.
On se base sur la théorie, des systèmes aux règles abstraites et on réfléchit aux mathématiques  derrière.