Myrmica rubra and Tetramorium guangxiensis