“Methods like replace are called referentially transparent, which means that for any given input the method call could be replaced by its result without affecting the program's semantics”