Hodges (1985) demonstrated that the equivalence holds for first-order logic over well-orderable doma...