φ0 is the expression ψ(x0, x1)
φ1 is the expression ψ(x0, x1) ^ ψ(x1, x2)
…
φn is the expression ψ(x0, x1) ^ …^ ψ(xn, xn+1).