<prompt>  True about Atlanto-axial jointVertebral artery passes posterior to foramen magnumAtlanto-occipital joint has flexion and extension movementPosterior longitudinal ligament does not pass through the spinal canalAtlanto-axial is ellipsoid joint 