User blog comment:Wythagoras/Buchholz hydra/@comment-1605058-20130828182749

Point 2. of definition - what is u?