  We formalize the concept of sheaves of sets on a model site by considering
variables thereof, or motifs, and we construct functorially defined derived
algebraic stacks from them, thereby eliminating the necessity to choose derived
extensions.
