use aspect of cobalt, 2 assertions