@misc{indiciaed5fd03514615,
  title = {Evidence, Proofs, and Derivations},
  author = {Andrew Aberdein},
  year = {2019},
  doi = {10.1007/s11858-019-01049-5},
  url = {https://arxiv.org/abs/1904.02593},
  note = {Source identifier: 1904.02593}
}