p68 before Lemma 2: T⩽M should read SN(>spo)⩽M
p75 Proposition 5: Polynomials in G and H must be of the form c x + d for some c ∈ {0, 1} and integer d. In addition, what is called linear polynomial over natural numbers in the surrounding text mean polynomials of the this form.