Title: Arithmetic of Ordered Strings