consistency check