Notes for AKT-091008-2/0:30:35

Problem: it's not clear that the procedure is well-defined (i.e. does the final expression depend on the order of sorting?)

solution: write the terms explicitly and apply the Jacobi identity