Stav dette: Mathematical control machine. /