broken finger subgroup of finger, 1 assertions