FR_Logic