You can also get leaner, from a muscular start, by eating less, lifting lighter weights and not doing more reps. Which is pretty similar to just not working as hard.
I've never said that I think he's stopped working entirely.
If it was just the body size and not the body size, him lying about working with his old hitting coach and his decrease in foot speed I might not have the opinion I do.