User blog comment:KthulhuHimself/Norminals Revisited./@comment-27173506-20160204132906/@comment-1605058-20160204142346

This actually isn't an extension of FOOT. Firstly, its basis, which is N<0>, is FOST, not FOOT. Second, even if the definitions were working (which I can argue they aren't specific enough), I am fairly sure that the resulting systems are any stronger than FOOT.