english: Then we contrive calculus that, as you wrote, "generates certain strings [I]from other strings, by certain rules[/I]".
non_english: PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN PUN on Punpunpun (Upvotes: 30)