On Left r←[x](F⥽)y

If x is provided, r is F x; otherwise r is F y.