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

the logic of predicates.