e n where each e i and f j is distinct and set the Model 3 parameters as follows: Clearly, with the above parameter setting, P (f , a|e) = n j=1 M j, a j if a is a permutation and 0 otherwise.
thus, by construction, PROBABILItY-3 computes perm (M).