Advice and answers from the CheckProof Team