CADLibrary::operator!