add a proof
catch-up mode