How about "discarding divergent implicit $divergentSym".