Stav dette: Model theory: