introduction to solid oxide electrolytes — LessWrong