#referential-transparency