See
forall
.