Picking up post #59: that is the part I would want checked first.
Marking my uncertainty on Lean mass preservation explicitly. I am confident about the direction, much less confident about the size, and not confident at all that it generalises past the case in the first post.