Another small test case for counterexample generation, and some thoughts about what good counterexamples would look like and how to find them.