The Nontruncated Marginal of a Truncated Bivariate Normal Distribution | Synapse