Furthermore, for the right-hand side a of ρ, inner(a) = 1.
to obtain the required PFA (Σ, Q, q 0 , q f , t, p M ), we now define the probability that such a relative frequency estimator p M minimizes the KL distance between p G and p M on the domain L(M) is proven in the appendix.