modern pizza subgroup of pizza, 4 assertions