arXiv++ Combinatorics

We prove the consistency of tiltan with the positive relation $ω^*\cdotω_1\rightarrow(ω^*\cdotω_1,{\rm infinite\ path})^2$.