20.2.2 More deterministic semantics