started working on the last missing proof, YAY!