added first consistency checker