1This definition does not consider efficiency, and many—but not all!—language implementations will still require extra computational cost to compute f(3) if it’s used in place of z.