checkConsistency Example