Weitzenböck's_inequality loading ...