Give a formula that is not a theorem of PCL (Predicate classic logic).
By the Robust theorem, a valid interpretation $\iff$ theorem in PLC.
Thus any formula $\phi$ that is $F$ under some interpretation $I$ won't be a theorem in PLC.
Is my reasoning correct?