Fun is the active pursuit of happiness.