For all

To create for all logical expression, you must type the keyword for. Then the for all pattern appears.

The general form of this logical expression is for all x1, x2... xn in listX Expression(x1,...,xn). It means that for every <x1,..,xn> from a list listX an expression Expression(x1, ..., xn) should be true.