some progress on cauchyproofs