A property of Purity Functions that they can always be replaced by the expression they return.
For example add is referentially transparent, so
could be replaced with
at design- or compile-time, because add always returns the same result and performs no observable side-effects.
