trying to proof progress on modification