- * This class is a topology over itself (yes, that's sort of <a
- * href=http://en.wikipedia.org/wiki/Frege>Frege'd</a> 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.