(I wrote "Weaver advocates predicativism because it accords well with normal mathematical practice." Note that this was not a direct quote of Harvey Friedman. I take it to underly various criticisms he has made.)