The two conditions that define a function as <code>pure</code> are as follows:
The two conditions that define a function as
pure are as follows:
If the first condition is always true, are there any times the second condition is not true?
I.e. is it really only necessary with the first condition?