Tweaks to some proof scripts
More tweaks to proof scripts