maximum grade subgroup of grade, 4 assertions