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

Ok, I see. λP also only allow $$s_1=*$$ in the pi rule (but $$s_2$$ can be $$*$$ or $$\Box$$), then is λP also that weak?