Thanks for the helpful auto-complete, Gmail.
@shriramk a young single logician tries to unravel a strange loop of suitors?
@steve @shriramk ...and then proves that the problem is intractable by its nature; the proof attracts more attention, thereby expanding the field and leading to newly-possible conclusions.