We can now launch the exploration using the splitting proof from the
GUI.