New: calc-proofs