⁵This diagram shows the mapping done before converting the polynomial to linear in \(q\). So the original multilinear form was used, that is why the square was mapped to triangle as shown. Zero exclusion principle also was inconclusive in this case, and that is why an attempt was made using the linear form as described in example 8.2.8 in [1]