@neauoire In practice, it is not so clear to me, I guess it depends on the definition of "wasted information". What is also tricky is what happens with recursion, i.e. what is the minimal information required to reverse a recursive computation.