true yam subgroup of yam, 2 assertions