A Complicated Definition of Fun