towards completeness