←
The Turnstile AND AN INSTANCE TO ENFORCE IT · ch 24/39
⇤ ⇥
…