MathProof is on its way!