Գրեք սա: The one-state condition