Kantian formal truth: not containment, but ratio
Thanks to Hume, anything having to do with time is off limits to certainty. Truth is inside of S is P. The only securely true S is Ps are the ones wherein the P is anchored to the essence of the S by the PNC. This is truth by predication of contained essences.
Kant comes to the rescue by making the relation in judgment something else entirely. Truth in vivo, truth in live acts of perception, which is truth in cognition or, more informatively, truth in ostensive judgment, is not a function of containment but of analogy. It is a relation among magnitudes.
There are ways subject and predicate can be tethered in an invariable relation. As a ratio, which Kant calls analogies of experience.