Undecidable Theories - nidottu, Englanti, 2010