 There is thus a notion of "causal proximity" in physical systems under which variables naturally precipitate into small clusters.Identifying these clusters and using them to represent the joint provides the basis for great efficiency of storage (relative to the full joint distribution) as well as for potent inference algorithms.Functional Decomposition is a design method intending to produce a non-implementation, architectural description of a computer program.