This paper focuses on the bivariate probit model's identifying assumptions: joint normality of errors, instrument exogeneity, and relevance conditions. First, we develop novel sharp testable equalities that can detect all possible observable violations of the assumptions. Second, we propose an...