Bianchi's_second_identity loading ...