Infos

  ++   ADJOINTS

  ++   DISJONCTAI
  ++   DISJONCTAS
  ++   DISJONCTAT
  ++   DEJANTIONS