Stav dette: Continuous model theory,