> "changes in state are time" If you go on beyond this to "changes in [the part of] state [in this frame] are time", then your specs don't need to make allowan

> "changes in state are time" If you go on beyond this to "changes in [the part of] state [in this frame] are time", then your specs don't need to make allowances for stuttering (à la Lamport).