This condition makes no sense if situations were states, as two different actions executed in two different states can result in the same state.
Умова була б не коректною, якщо б ситуації були станами, оскільки дві різні дії, виконані в двох різних станах можуть дати в результаті той самий стан.