["1", "3", ":-", ":- test", "addition", "aisbisc", "and", "and 3", "and 4", "asdf", "bgrgndzmul", "bit-bits", "blue", "brackets", "bus", "calc", "car", "computer/human", "crap", "cut test", "dad", "dadbot+1", "dadjoke001", "dadjoke002", "dadjoke003", "dang", "division", "double tasty test", "eq", "eq test", "eq test 2", "eval test squaring", "find yes", "first sentence", "foot-feet", "forall_impl", "forceeval", "good morning", "greatest", "guns", "hk", "human/computer", "ice cream", "if-user-says", "in list", "inch-inches", "indexofsentence", "is a theory", "is a, has a", "is a, has a (nl)", "is in list", "is-is-not", "isleaf", "iter", "lasagna", "lasagna ai 1", "lenny", "list comp", "list fillers", "lolol", "mark", "mrshutco", "multiplication", "next", "no the", "not", "not test 1", "not test 2", "not v1", "number of theories", "number of theories 2", "onetoten", "onetwo", "or", "pennynickel", "really funny", "red", "simpler syntax test", "smartmul", "subtraction", "superior lasagna", "tasty list", "temp", "temp2", "temp3", "unified", "user says what is tasty", "usermul", "verify 1", "verify 2", "very funny", "what is tasty", "x random test", "xor", "yes", "yes no", "yes-yeah", "yisx"]