fin aspect of dolphin, 2 assertions