[math-fun] Re library of Babel