pumpkin pie subgroup of pie, 8 assertions