Anthony–Brightwell–Shawe-Taylor conjecture on minimum specification threshold functions
Anthony–Brightwell–Shawe-Taylor conjecture. If fff has specification number n+1n+1n+1, then fff is nested: