Added a double dot and H double dot. Updated IBP counting
(nonsignificant)