distribution_jvn
