Quantifying over Optimum Answer Sets