tightens semantics of modified, complete and pending