Paul Erdos
       |
       v
 Saharon Shelah
       |
       v
  Amir Pnueli
       |
       v
Thomas Henzinger
       |
       v
 Adam Chlipala