property aspect of cinnamon, 3 assertions