about to start symmetrizing useful identites
taking control of the horrible sums