Rotating turbulence (TBC)