based on the approach described they were probably in dimension 2, this counterexample is 3 dimensional
16 variables
alt Hacker News