young henry subgroup of henry, 1 assertions