fresh mango subgroup of mango, 2 assertions