Stav dette: Theory of formal systems.