tail aspect of copperhead, 1 assertions