 By (7), it is possible for a sentence \(\ulcorner a\) is \(F\urcorner\) to express a foundational fact, where \(F\) expresses an intrinsic property. Hence, it follows from (7) and the necessity of (8) that (9) is possibly true.