 Furthermore, Jeroslow (1973) demonstrated, with an ingenious trick, that it is in fact possible to establish the second theorem without (D3). However, in some other cases (e.g., when proving Löb’s theorem; see below), and in Provability Logic, all three conditions are still needed.