tail aspect of beaver, 8 assertions