1Note however that this computation is achievable insofar all quantities it involves belong to finite sets.