system aspect of worm, 37 assertions