User blog comment:Upquark11111/An Explanation of Loader's Number/@comment-11227630-20171209072636/@comment-11227630-20171210033159

Oops! Now I see it.

It's interesting that λPω is the strongest system among the 8 λ-cube systems, while its $$(s_1,s_2)$$ rule is the simplest one.