Oh hey I just wrote about Hofstadter's deployment of Bongard problems to make may of these points in GEB: https://matthodges.com/posts/2026-08-19-bongard-problems/