Few incomplete proofs