The all operator