maximum eclipse subgroup of eclipse, 2 assertions