Internal integrity checks ()