static Inverted and(List<Tag> terms) => Inverted( Alternative( terms.map((t) => Inverted(t)).toList(), ), );