Sediment will continue to be transported to an area and it will eventually be deposited. Often, coarser-grained material can no longer be transported to an area because the transporting medium has insufficient energy to carry it to that location. Thus, to be considered as archaeological, the remains, objects or artifacts to be dated must be related to human activity. These foreign bodies are picked up as magma or lava flowsand are incorporated, later to cool in the matrix. Steno formalized the laws of superposition, original horizontality, original continuity and inclusions in his publication entitled De solido intra solidum naturaliter contento dissertationis prodromus Protherop. In its place, the particles that settle from the transporting medium will be finer-grained, and there will be a lateral transition from coarser- to finer-grained material. Another example is a derived fossilwhich is a fossil that has been eroded from an older bed and redeposited into a younger one.