It sounds like that was a good outcome, they sold out and got rich? There's definitely a stage that comes where a startup no longer needs founders.