revise

proof containing corrections made in an earlier proof (not -ize)