A pure transformation is an abstract operation, a pure function implements it.