  Not all weak models meet the fully explanatory condition. Models that do are called strong models. If constant specification  \(CS\) is rich enough so that an Internalization theorem holds,  then one has completeness with respect to strong models meeting  \(CS\). Indeed, in an appropriate sense completeness with  respect to strong models is equivalent to being able to prove  Internalization.