In particular, if for a particular language, we have that f 1 is true, then the fact that the implication holds means that f 2 must be true.
the πs are Bernoulli random variables, so they are given independent Beta priors.