tail aspect of gibbon, 1 assertions