referential_transparency