Indeed. But reframing and carving testables from untestables and provables from unprovables should be an explicit goal.

OK. And so should a theoretical exploration of the space of hypotheses about the not-yet provables with the intent of getting the most truth for the buck when these expensive experiments are finally done.