block letter subgroup of letter, 2 assertions