 Paul and Didi are wonderful people. Yes. And they're doing great work, and they were just really great to work with. And as you and I were talking about before we started talking on the air... Mm-hmm.