petal aspect of iris, 4 assertions