keep
Always AtLeast Exists Most Quantification