Finished the horribly long proof inside 1.21