@misc{indiciae35019cbd7c69,
  title = {A note on Jerabek's paper "A simplified lower bound for implicational logic"},
  author = {Lev Gordeev and Edward Hermann Haeusler},
  year = {2026},
  url = {https://arxiv.org/abs/2603.01929},
  note = {Source identifier: 2603.01929}
}