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