For example, whether a formula such as Phil(x) is true must depend on what x represents.
Για παράδειγμα, εάν ένας τύπος όπως ο Phil(x) είναι αληθής πρέπει να στηρίζεται σε αυτό που αντιπροσωπεύει το x.