Scheffé's_lemma loading ...