Definition of referential transparency