Sigh... looking to generate random instances of TQBF (https://en.wikipedia.org/wiki/True_quantified_Boolean_formula), but when you search for "TQBF generator", you realize that TQBF is an initialism of "The quick brown fox", and the results are all about generating random text. #PspaceComplete #CsTheory #TQBF