Do we ever need to test for joint normality assumption used in IV Probit? Even if the error distribution for the dependent variable's functional form is not testable, I suppose we can still test for the normality of the residual from first stage regression? I have browsed through many papers that have used IV Probit, but none of them has tested for the normality assumption.