tail aspect of hawk, 2 assertions