Introduction to MocaProof — Deca