¹We do not consider insertion errors and deletion errors here, although they can be important in practice.