Progomphus formalis
Kaliwatan sa alindahaw ang Progomphus formalis. Una ning gihulagway ni Belle ni adtong 1973. Ang Progomphus formalis sakop sa kahenera nga Progomphus, ug kabanay nga Gomphidae. 

Kini nga matang hayop na sabwag sa:
 Ecuador
 Peru

Walay nalista nga matang nga sama niini.

Ang mga gi basihan niini 

Alindahaw
Alindahaw sa Peru
Progomphus
Alindahaw sa Igwador