A biomechanical rationale for C1-ring osteosynthesis as treatment for displaced Jefferson burst fractures with incompetency of the transverse atlantal ligament