>Each individual function eventually does zero things.

Lambda calculus, basically :)