  Another example of a provability principle that cannot be made  completely explicit is the Löb Principle (5). For each of  \(\mathsf{LPP}\) and  \(\mathsf{GLA}\),  it is easy to find a proof term  \(l ( x)\) such that