'On Tsimerman's proof of Ax's Theorem'