This paper considers the bivariate probit model's identifying assumptions: linear index specification, joint normality of errors, instrument exogeneity, and relevance. First, we develop sharp testable equalities that detect all possible observable violations of the assumptions. Second, we propose an easy-to-implement testing procedure for the model's validity using existing inference methods for intersection bounds. The test achieves correct empirical size and performs well in detecting violations of the conditions in simulations. Finally, we provide a road map on what to do when the bivariate probit model is rejected, including novel bounds for the average treatment effect that relax the normality assumption.