".

Basically, if we're going to follow policy (we could also ignore it, that's an option too), then we can say he does holocaust denial, but we can't call him a ""holocaust denier"" without attribution (and thorough sourcing)."