Which Carbon Tax: Robust or Miniature?