[math-fun] "Lithium problem" on the way to a resolution?