tail aspect of distribution, 8 assertions