apple pie subgroup of pie, 5 assertions