Removed the hardest proof