شما اینجا هستید

The hypothetical exceptive syllogism