Before revision: Let φ be a formula of degree k + 1; then we can write it as where (P) is the remainder of the prefix of (it is thus of degree k-1 ) and is the quantifier-free matrix of .
After revision: Let φ be a formula of degree k + 1; then we can write it as where (P) is the remainder of the prefix of (it is thus of degree k – 1 ) and is the quantifier-free matrix of .