Referential Transparency



[5] has an indistinguishable program outcome.