Maybe an ok proof for completeness?