green arrow subgroup of arrow, 2 assertions