BF in regmodules