myRString1 = readRString "ab" myStringSystem1 = readRStringSystem [ ("a", "aa"), ("b", "bb") ] myRStringn n = nrewrite myStringSystem1 (nrewrite myStringSystem1 myRString1 leftmost n) rightmost n