FL[R/[]]