Axiom stringOfR : R -> string.
