HAO1 and ossification of the posterior longitudinal ligament of the spine: Micro CT analysis revealed no evidence of ectopic bone formation, such as that seen in OPLL patients, in ten-week-old Hao1 KO mice (Figure 3B,C).