¨ 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.