Text this: ON CORRECTNESS OF BAYES FORMULA