Non-American with no position in Chipotle here. Could you elaborate a bit on how they did their buyback wrong? I see their stock have climbed in the past year, so wasn't the buyback worth it?