Heim's file change semantics, often cited as paradigmatically dynamic, was explicitly developed to c...