 While one instance of \(\pi'\) satisfying the condition (ii) would be \(\pi\) itself, another instance would be an “explosive” sentence \(\bot\) that is contained in a theory only if every sentence is contained in the  theory.[5] 