@misc{indiciaef70a6c684d38,
  title = {Axiomatization via translation: Hiz's warning for predicate logic},
  author = {Guillermo Badia and John N. Crossley and Lloyd Humberstone},
  year = {2022},
  url = {https://arxiv.org/abs/2203.08721},
  note = {Source identifier: 2203.08721}
}