Zetetic comments on Bounded versions of Gödel’s and Löb’s theorems