completeness.pdf