More referential transparency