Text this: An ergodic IP polynomial Szemerédi theorem /