@misc{indiciaec9c237cc1326,
  title = {Relating Information and Proof},
  author = {Anatol Slissenko},
  year = {2022},
  url = {https://arxiv.org/abs/2205.07635},
  note = {Source identifier: 2205.07635}
}