WorldLover jstrout Ok, thanks for the tip! I've updated RPSS again, here's the new link: https://miniscript.org/tryit/4ABD0752 It's almost the same of the other, but now i used Joe Strout's tip. And i added two new facts about RPS.
