'On Tsimerman's proof of Ax's Theorem' (ctd).