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