Origin One r←[x]F⑴y

F is called with index origin 1: r←[x]F⦋"origin":1⦌y.