Vanessa Kosoy comments on Working through a small tiling result

[Vanessa Kosoy]

Sorry, I was wrong. By Lob’s theorem, all versions of ${\text{good}}_{\text{new}}$ are provably equivalent, so they will trust each other.