We'll figure out fluorine before space mining is even viable. They will probably have a fluorine-based battery on the market within the next decade.