User blog comment:Cloudy176/My number is smaller!/@comment-5029411-20140920173212

-I_w(F_7)

Same at FGH but base rule changed to I_0 (n) = R(n)