tail aspect of lynx, 3 assertions