A bigger example. Counterexamples are good, but argues that maybe we don't need to generate a full counterexample from the start symbol.