 All told, it seems that Leibniz ascribes to a heterogeneous account of causation, where the cause is different in kind from its effect. Ultimately, Leibniz offers a theory of intrasubstantial causation that incorporates both efficient, final causes, and formal causes, where only substances—or better yet, their powers—can be efficient causes and perceptions have a teleological as well as a formal function.