Michael Rabin at ICALP/LICS 2007

15.