 If \(t\) does not denote an object in \(\bD\) then the truth of \(A\) does not guarantee that there exists in \(\bD\) an object that satisfies \(A(x//t)\). Though free logic rejects such classical inferences, it accepts no classically invalid inferences; hence it is strictly weaker than classical logic for a language with the same vocabulary.