tiny progress on CauchyProofs