Removed the proof scripts