Cutting down a redwood tree