Infos

  ++   DEFALQUERIONS

  ++   DEQUALIFIERIONS