User blog comment:Alemagno12/First Order Theory Theory/@comment-12.144.5.2-20171001182945/@comment-25601061-20171016015938

But BIGG FOTT might be naive extension of BIG FOTT