This comment is the beautiful content that I come to HackerNews for. I wonder if there is a proper theory of humor out there. For example, surprise is a big pa

This comment is the beautiful content that I come to HackerNews for. I wonder if there is a proper theory of humor out there. For example, surprise is a big part of any joke - be it double meaning joke, a pun, something clever; the only common thing among almost every joke is surprise. So I wonder if there is a comprehensive theory of humor out there.