property aspect of cobalt, 2 assertions