Will_Sawin comments on No one knows what Peano arithmetic doesn’t know

[Will_Sawin]

No. I meant to include a trivial example. I believed that it would help clarify the point.