modified proof