cheese pizza subgroup of pizza, 1 assertions