public Clause(List <Literal> literals) { Literals = literals ?? throw new ArgumentNullException(nameof(literals)); Literals.Sort(); }