upper petal subgroup of petal, 3 assertions