see  [[C2 lamina decompression]].