tail aspect of seahorse, 1 assertions