Theorem_of_transition loading ...