buddy aspect of diver, 2 assertions