formal letter subgroup of letter, 47 assertions