Dany warunek powinien powodować przejście z każdego stanu tylko do jednego innego stanu.

System zawsze musi znajdować się w jakimś stanie.

Każdy stan powinien być dostępny ze stanu początkowego.