A new definition of "Fun"