Ross'_π_lemma loading ...