(That said, repeated head trauma does tend to thicken the skull, although any practical benefits are extraordinarily questionable.)