Christel only legally owned anything of Freenode to sell to Andrew Lee because she took it over in the dissolution of PDPC. If PDPC never legally owned Freenode, it would be owned by... Rob Levin's estate? So I think PDPC did own Freenode in some form.