Mathematical versus CS definitions of functions.