Semantics: include version 2, section 5.1 update avoidance