爺、ポール・アレン氏の経歴とか全く知らないと思う。