tail aspect of anteater, 2 assertions