tail aspect of lion, 4 assertions