Text this: Properties of the bivariate normal cumulative distribution /