Sauer–Shelah_lemma loading ...