protein sequence subgroup of sequence, 12 assertions