Satan, satanism, and witchcraft