NB: ICYW
(defaxiom succ
"The successor integer."
[]
(==> int int))
A computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. - Preface, SICP 1st Ed. https://mitpress.mit.edu/sicp/front/node3.html