(untrue, the data could change and the function could break and the last assert might miss it, so we'll leave this too)