Rewriting RIO's