Statistical Inference for Pr(Y < X): The Normal Case | Synapse