formalizing the sequential loading