fixed completeness proof