We can transform this into another concept M'-H by replacing M with any M' for which: This formulation may suggest a large range of values of M'.
these candidates can be sorted by A rel (M, M'), which estimates the probability that a given M'-H will later be validated as useful.