broken arrow subgroup of arrow, 1 assertions