User blog comment:Wythagoras/Finite Promise Games/@comment-10429372-20140829185955

There is a problem with the function FPCI, since we have m = s = N in the definition, and that needs to be fixed.