String_rewriting_system loading ...