Who would the king of demons be?