I mean option two doesn’t seem untenable either honestly - you keep digging down until you hit bedrock, and even if you never find bedrock the process of diggin

I mean option two doesn’t seem untenable either honestly - you keep digging down until you hit bedrock, and even if you never find bedrock the process of digging is still enriching and educational and results in advancement of knowledge.