head aspect of tortoise, 3 assertions