okay but at least those are provably equivalent, unless my understanding is off. isn't that the whole impetus behind the idea of functional programming?