Formal FST FOBMF-1011