Ah, I see I was unclear. By “is no more to a Tyvar” I meant “is no more significant to a Tyvar” rather than “is no more comprehensible to a Tyvar.” Sorry; my fault.
Ah, I see I was unclear. By “is no more to a Tyvar” I meant “is no more significant to a Tyvar” rather than “is no more comprehensible to a Tyvar.” Sorry; my fault.