Revenue-Neutrality or Eliminate the AMT?