 with these types of businesses, but they were not his retirement. His retirement ended up being a pension. And he tells me he lives quite nicely, that the pension takes care of him well, and he's living good. And he must be because he's 82 or 83 years old, I think. To me, my dad died at 65. My grandfather died at 65. My great-grandfather died at 65. Everybody in my family died at 65 except my uncle. So there's something about the way he lived. I think he was an athlete.