@noneatnamesleft something something Tao-Green theorem? I know @TweetsofCushing spent a long time thinking about progression-avoiding sets