The study of synonymy among propositional theories in equilibrium logic, begun in [36], is extended to the first-order case.

The genus Lomechusoides Tottenham, 1939 is redescribed, the definition of species groups and the key to these groups is provided. The revision of the species group L. amurensis as well as the key to the identification of this group is given. The amurensis species group contains following species: L. amurensis (Wasmann 1897), L. kozlovi sp. nov., L. schneideri Maruyama & Hlavác, 2005 and L. suen...

Two species of Glossobius Schioedte & Meinert, 1883 are known from Australia: Glossobius anctus Bruce & Bowman, 1989 and Glossobius impressus (Say, 1818), the latter recorded here for the first time from Australia and southern Africa. Glossobius ogasawarensis Nunomura, 1994 is here placed in synonymy with Glossobius auritus Bovallius, 1885; whereas Glossobius crassa (Dana, 1853) is removed from...