Does the tetragrammaton have to do with witchcraft?