small pumpkin subgroup of pumpkin, 4 assertions