Ha van két egymásból következő állapot, ami egymás után létezik, akkor igen.