Added Hall-Witt identity