tail aspect of lizard, 13 assertions