It was, Elvi thought, like finding a sea turtle who thoroughly understood Godel's incompleteness theorem, but didn't have any sea-turtley application for it.