Huh, I was under the impression, that it was based on turnstile and was sure, that I saw that somewhere, but now I cannot find any indication of it being the ca

Huh, I was under the impression, that it was based on turnstile and was sure, that I saw that somewhere, but now I cannot find any indication of it being the case. So maybe I am mistaken. Nevermind then, turnstile is still something fitting for this topic : )