palceholder text for completeness theorem intro