tail aspect of aardvark, 1 assertions