Single Turnstile Logic