see [[Cervical laminectomy]]