Exercise: Check that the Jacobi identity holds for the commutator bracket [ X , Y ] := X Y - Y X .