AMT on options only comes into play when the options are exercised and held. When the options are eventually sold, the AMT tax paid (if any based upon the AMT thresholds) it is credited against tax owed on the sale. If it is a cashless exercise (which your use of the word "liquified" leads me to believe is your facts) and the options are sold as soon as they are exercised, there is no AMT adjustment. If they are exercised and held you may have to manually input that information into the software system in Form 6251 line 2i. I'm new to ProSeries but have been using Lacerte for the past few years - even on Lacerte it is a manual entry for the exercised options that are held.