"Any `pure` function that is not strongly pure _may not be assumed to be_ memoizable."
That version of mine is also not correct :(How about: "A strongly pure function can be assumed to be memoizable. For a not strongly pure function, well, `pure` does not add information regarding memoizability."
