@misc{indiciae6427fe4c4db5,
  title = {Notes on proof by dichotomy},
  author = {Laurent Fallot},
  year = {2023},
  url = {https://arxiv.org/abs/2310.04109},
  note = {Source identifier: 2310.04109}
}