Full threadmanny·some backgroud behind #4: http://en.wikipedia.org/wiki/Fixed_point_combinatorView on HN