purple carrot subgroup of carrot, 4 assertions