Improved rule for size quantification.