hey, does anybody know abot these equations (5) and (6) form the DOC. where can I find derivations of these equations? I understand, that it is the average and the variance of posterior if the likelihood is the normal distribution, but why we can do this assumption? And as I understood, the stats engine use only normal distribution for all type of metrics?