Stav dette: Safety-I and safety-II :