PRA's proof-theoretic ordinal is omega^omega, which falls strictly below epsilon_0, undermining the ...