"is the definition of fun."