property aspect of thyme, 2 assertions