TY  - RPRT
TI  - A note on the incompleteness of Afshari & Leigh's system Clo
AU  - Johannes Kloibhofer
PY  - 2023
UR  - https://arxiv.org/abs/2307.06846
ID  - 2307.06846
ER  -