A Theory of Fun