Therefore, completeness holds only under the non-empty sort assumption, making the equivalence condi...