Без заголовка

Мне тоже не хватает целостности или непротиворечивости. Но они там в тексте поясняют, что имеется ввиду: их волнует связность тамошних графов прежде всего. Это и проверяется, но нельзя отнести к противоречивости. А "противоречивость" практики -- что там проверять?!