head aspect of copperhead, 3 assertions