Como ya se ha dicho, otra complicación de los lenguajes sin transparencia referencial es que dificultan el razonamiento ecuacional: los métodos codice_3,codice_4 no devuelven los mismos resultados con un mismo valor inicial de codice_5.