Talk:Max/min CSP/Ones classification theorems