A representation for quadrivariate normal positive orthant probabilities | Synapse