Strong completeness