One of the UT grad students gave me this little logic problem after the conference, which was delightful. Apparently it comes from Dummett’s Elements of Intuitionism. The problem is to prove that in intuitionistic logic you can get an infinite number of non-equivalent sentences given just a single propositional variable. I will post a solution in a few days if there isn’t one in the comments before then.