Formica insana Buckley, 1866: 165 (w.q.) U.S.A. (Texas). Nearctic.

Primary type information: Primary type material: neotype worker (by designation of Snelling, 1995a: 4). Primary type locality: neotype U.S.A.: Texas, Howard County, Interstate 20, 12 mi. E Big Spring, 16.iv.1981 (W.F. Buren). Primary type depository: USNM. Type notes: 1) Snelling, 1995a also nominated 49 workers, 1 queen as “neoparatypes”; a category not recognised by ICZN. 2) An earlier neotype designation by Johnson, 1989b: 185, was made redundant by Snelling, 1995a: 4. 3) Original syntype data: workers and queens (numbers not stated), U.S.A.: Texas (S.B. Buckley); no material known to exist.