Hadamard's_inequality loading ...