@misc{indiciae8d48a04c1201,
  title = {Screening for breakthroughs: Omitted proofs},
  author = {Gregorio Curello and Ludvig Sinander},
  year = {2025},
  url = {https://arxiv.org/abs/2104.02044},
  note = {Source identifier: 2104.02044}
}