Links for turnstile-specification