internal-consistency documents