Reason (Predicate Calculus) § = for every model M<U,I> and a set of sentences (A) S holds: if M ⊩ S, then M ⊩ A