@misc{indiciae6584d0f60bb9,
  title = {Towards an untyped proof of Con(NF)},
  author = {Zuhair Al-Johar},
  year = {2021},
  url = {https://arxiv.org/abs/2107.11888},
  note = {Source identifier: 2107.11888}
}