We can now remove a loaded proof model.