rigid body subgroup of body, 2 assertions