A fenti szekvencia diagram végrehajtása inkonluzív, amennyiben a szenzor nem Faulty állapotban van.

A fenti szekvencia diagram azt állítja, hogy Faulty szenzor esetén a mért érték negáltját kell kell kivezérelnünk, vagyis: <[state==Faulty is true], !processSensorReading(data), ?processSensorReading(data), !actuate(-data), ?actuate(-data)>.

A fenti szekvencia diagram egy valid lefutása: <!actuate(data), ?actuate(data), [state==Faulty is true], !processSensorReading(data), ?processSensorReading(data)>, mivel strict fragmens nélkül a különböző lifeline-k közötti sorrend nem definiált.

A fenti szekvencia diagram szerint, ha a szenzor nem Faulty állapotban van, akkor a szenzormérés feldolgozása után, a Processor-nak mindenképpen kell vezérlést küldenie az Actuator felé, vagyis: <[state==Faulty is false], !processSensorReading(data), ?processSensorReading(data), !actuate(data), ?actuate(data)>.