We iterate u' from [0 to all u] and we will check that every u' must hold the property that for any C* included in C that has the property   |C∗↑µ'| ≥ k1, C* must have also the last equation. in case C* fails the last equation we return false;