- * This class is a topology over itself (yes, that's sort of Frege'd
- * up) so that Atoms can be intersected and unioned with each other
- * to result in other Atom<Token>'s (rather than raw Topology<Token>'s, which
- * are not Elements). If you want the latter, use the
- * getTokenTopology() method.
+ * This class is a topology over itself (yes, this is impredicative).
+ * This means that you can call Atom.union(Atom) and get back an Atom.
+ * If you are interested in the topology of <i>tokens</i> which this
+ * Atom can match, use the <tt>getTokenTopology()</tt> method.