black arrow subgroup of arrow, 3 assertions