  :Its been deemed in a Court of Law that Irving did indeed deny the Holocaust, Also it's been one of the central themes of Irvings writings and the only things he's really noted for, so I can't see any justification for not re-instating it in the introduction.  