¨ Each r←[x](F¨)y
If x is not provided, r is the result of applying F to each element of y, under disclosing it.
If x is provided, r is the result of applying F to each pair of elements of x and y, under disclosing them.