tail aspect of tern, 2 assertions