(Erdős ->Magidor ->Bagaria ->Kohlenbach ->K.-A. Or Erdős -> Spencer -> Libkin -> Kohlenbach -> K.-A.)