decent progress on cauchy proofs s