see [[Tentorial notch]]