layperson publicly Knuth suffocation reverting mimicry dragging retraction fuzzballs xrefs cormorants
