except for giving a rigorous defintion of the Koszul action, showed that it coincides with the algebraically defined operations