Errata Free

10.1093/mind/fzl659

p. 688, line 10:

for So if is a theorem of Mread So if ϕ is a theorem of M

p. 688, line 13:

for where ϕ* is the result of indexing the terms of ϕ* to M

read where ϕ* is the result of indexing the terms of ϕ to M