Satoshi_Nakamoto comments on An example demonstrating how to deduce Bayes’ Theorem