User blog comment:Koteitan/Categorizing of the rule sets for all sub versions of bashicu matrix/@comment-11227630-20191122094441/@comment-30846880-20191124100709

what if the p(x) is not found?

p(x) always should be found because at least the bad root b_{11} must be the ancestor of b_{x1} in every x in the first row.