P. Erdos -> S. Shelah -> D. M. Gabbay -> P. Besnard -> P. Wong