双二次多項式のbifurcation measureは，ある種のMandelbrot集合の境界の一般化であり，Dujardin-Favreのlanding theoremを用いることで数値的に計算することができる．これをVRを用いて可視化し，インタラクティブに4次元的に回転させることで，「穴」が開いていることを発見した．この「穴」が実際に存在することの数値的な傍証と，それを精度保証計算を用いて厳密に証明するためのアイデアについて述べる．証明には放物型分岐とそこでのFatou座標の精密な評価が必要であり，それに関する現時点までの計算結果についても解説する．