Like The Lorax, With More Formal Mathematics