0 / 60 seg.

We work on it through theory, looking at abstract rule systems and thinking about the mathematics behind it.