Quotes in the category fun