Walther's law of correlation of facies states that facies that occur in vertical successions of strata also occur laterally adjacent to each other. It is based on the principle that only facies that can be observed beside each other presently can be superimposed in the rock record. Walther's law explains how lateral shifts in depositional environments over time result in vertically stacked facies that match the lateral sequence, creating time-transgressive sedimentary formations with the same vertical and horizontal facies relationships.