removed some quantifier because it's just an alias for any