 Formulating (1) through (3) in the language of minds and bodies, Leibniz held that no mental state has as a real cause some state of another created mind or body, and no bodily state has as a real cause some state of another created mind or body. Further, every non-initial, non-miraculous, mental state of a substance has as a real cause some previous state of that mind, and every non-initial, non-miraculous, bodily state has as a real cause some previous state of that body. Finally, created minds and bodies are programmed at creation such that all their natural states and actions are carried out in mutual coordination.