!P = P | !P. That means, you can always fork a new
Pprocess if you need it.
forloop to iterate on collections.
forlooks like the following:
forloop are executed sequentially by default.
forloop are not available outside.
forloop's code has access to all variables above.