head aspect of worm, 2 assertions