pizza crust subgroup of crust, 4 assertions