add a proof