head aspect of diver, 6 assertions