cheaper sodium electrolysis — LessWrong