round steak subgroup of steak, 2 assertions