property aspect of silicon, 2 assertions