"How is it possible that this formally uneffable nerd"