tail aspect of cheetah, 4 assertions