Bochner's_formula loading ...