Backward r←[x]F⤺y

F is called backwards: r←[x]F⦋"backward":1⦌y.