Rewriting_system loading ...