fix proof, not sure why it broke this way