sS philosophyBot_varsToStars(PhilosophyBot1 bot, S s, LS varNames_out) { ret arbitraryVarsToStars(s, philosophyBot_varSet(bot), varNames_out); } sS philosophyBot_varsToStars(PhilosophyBot1 bot, S s) { ret philosophyBot_varsToStars(bot, s, null); }