Denote the Gowers Inverse conjecture by 'GI(s)' and denote the M¨obius and nilsequences conjecture by 'MN(s)',
Our results are therefore unconditional in the case s = 2, and in particular we can obtain the expected asymptotics for the number of 4-term