On the other hand, if m = 1 (i.e., the implication does hold), then the first column of the data matrix is generated by choosing values for f 1 independently by π 1 , but the second column is generated differently.
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.