Axiomatization via translation: Hiz's warning for predicate logic - Guillermo Badia; John N. Crossley; Lloyd Humberstone (2022)