Add Explore.Fin despite it still lack the adequacy proof