completness proofs