NUML & IBF