Catalogue of type specimens of true bugs (Hemiptera: Heteroptera) deposited in the National Museum, Prague, Czech Republic Author Kment, Petr Author Kolínová, Zdislava text Acta Entomologica Musei Nationalis Pragae 2013 2013-11-15 53 2 821 890 journal article 10.5281/zenodo.5740731 0374-1036 5740731 146A1A16-2E72-4ACA-B9F7-D2D1ED48574B Helotrephes formosanus Esaki & Miyamoto, 1943 Helotrephes formosanus Esaki & Miyamoto, 1943: 485–494 , Figs 1 –6 (original description). Two paratypes are deposited in NMPC: PARATYPE (J): ‘[ Formosa ] / Ankô, near / Taihoku / 25.V.1941 / S. Miyamoto [hw] // Paratypus / Helotrephes / formosanus [p] / J [hw] / Esaki et Miyamoto, / 1948 [p, blue label]’. PARATYPE ( ): ‘[ Formosa ] / Ankô / 25.V.1941 / S. Miyamoto [hw] // Paratypus / Helotrephes / formosanus [p] / [hw] / Esaki et Miyamoto, / 1948 [p, blue label]’. Current status. Valid subspecies: Helotrephes semiglobosus formosanus Esaki & Miyamoto, 1943 (see POLHEMUS 1995c , ZETTEL & POLHEMUS 1998 , PAPÁČEK & ZETTEL 2004, AUKEMA et al. 2013 ).