baking pan subgroup of pan, 4 assertions