The fundamental prerequisite necessary to deal with all these topics is, of course, an efficient and biologically plausible way to assess sequence similarity: given an alphabet and initially just two sequences, how are we to measure in a biologically meaningful way the similarity between s and t? The answer depends, of course, on what mutational operations one perceives as biologically relevant can be performed to produce one sequence from another.