* Finish to draft the implementation of consistency checks