total eclipse subgroup of eclipse, 15 assertions