duality quantifier simplification fix
merging duality and interpolation changes