 One further point follows from this. As we alluded to above, this shows that \(K_3\) with a truth predicate will not state the gappy status of gaps, while LP will state both gap and glut properties. Hence, as we mentioned, the status of gaps and gluts can be complicated. 