Therefore, strong completeness for many-sorted logic holds only relative to a classical metatheory t...