talking atm subgroup of atm, 2 assertions