tiny steps in CauchyProofs