property aspect of lavender, 2 assertions