Inevitable updates for edits involving example 4.