This slide is a material for the “Kettei-Funo no Kai (Undecidable Party)”, a study-group on undecidability held in Tokyo. Written by Kazuhiro Inaba ( http://www.kmonos.net ), under my own understanding of the paper.
So, it may include many mistakes! For your correct understanding, please consult the original paper and/or the authors’ slide.