 where \(E_{G}^{k}\) is short for k iterations of the \(E_{G}\) operator. Then for no natural number k will the formula \(E_{G}^{k}\varphi\) be enough: it could be the case that b doesn’t know it! To rectify this situation, one could try 