bring forward a proof