eye aspect of worm, 4 assertions