better consistency checker