case aspect of cornet, 2 assertions