 is too good to pick up trash. I like that. I'm trying to remember. He's dead, too, right? Roy is, yeah, yeah. I think both Disney brothers are gone. I mean, Walt and... Roy! Walt and Roy. Roy Disney died in 2009. Okay. Did you know Leonhard Euler...