fruit pie subgroup of pie, 2 assertions