The claim therefore conflates the well-behaved finitary fragment of many-sorted logic with richer fo...