Principal Rechercher Formale Domination Bound