head aspect of cobra, 2 assertions