The definition of summer