Arrangement of eight pairwise, logically consistent alignments for directly succeeding input taxonomies (1831–1920) with relevance to the Minyomerus [JF2015] revision, as shown in Fig. 1. The alignments and visualizations were produced using the Euler/X toolkit for concept Taxonomy, as detailed in Franz et al. (2015a, 2015b). For each pairwise alignment, congruent concept regions (originating in T2 and/or T1) are shown as grey rectangles, concepts regions unique to the later taxonomy (T2) are shown as green rectangles, and concept regions unique to the earlier taxonomy (T1) are shown as yellow octagons. Articulations of inverse proper inclusion (>) and overlap (>>) are also shown. For further detail see Suppl. material 2. A alignment of Boheman (1833) and Say (1831) B alignment of LeConte (1859) and Boheman (1833) C alignment of Horn (1876) and LeConte (1859) D alignment of Casey (1888) and Horn (1876) E alignment of Sharp (1891) and Casey (1888) F alignment of Pierce (1909) and Sharp (1891) G alignment of Pierce (1913) and Pierce (1909) H alignment of Boheman (1920) and Say (1913).