A reader said he had heard of the practice of shredding leaves prior to using them as mulch but wondered about the reason behind it. Was it just to make it easier to dispose of the leaves, since, once shredded, the load would be more compact? Or was there some other benefit?