Tube_lemma loading ...