Delete ch3-example-forgettingproperties.R~