@misc{indiciae5f27c447dfca,
  title = {First-order proofs without syntax},
  author = {Dominic J. D. Hughes},
  year = {2019},
  url = {https://arxiv.org/abs/1906.11236},
  note = {Source identifier: 1906.11236}
}