tail aspect of manatee, 1 assertions