It is useful to view computation as simulation, cf.: isomorphism of semigroups.[Preparata, F. P. and Yeh, R. T., Introduction to Discrete Structures, Addison-Wesley, 1973, p. 129.]
(princ-to-string (+ (read-from-string "2")
(read-from-string "3")))
"5"