Definition of "diverges"