Start to implement the consistency checkers