TY  - RPRT
TI  - The Switching Lemma shows what the Switching Lemma cannot prove: an unconditional natural-proofs barrier
AU  - Bruno Loff
AU  - Suhail Sherif
AU  - Navid Talebanfard
AU  - Francesca Ugazio
PY  - 2026
UR  - https://arxiv.org/abs/2606.12631
ID  - 2606.12631
ER  -