Trigeminal neuralgia occurs