In a message dated 9/10/01 9:34:40 PM EST, rbi@dana.ucc.nau.edu writes: << I don't know whether this is considered a formal synonymization or not. >> Yes, it is. It's >published<, with reasons for the synonymy, with the new binominal in place, and with references to the earlier taxa. That's all you need.