but I was not wholly reassured. It is as bad to be eaten by a ground shark as by any other.