Balanced PROOFSSelected edits