"completeness proofs" - related articles and key terms