  The second distinction is that between two types of soul: the rational soul is separable from the body, the irrational resides in the body is inseparable from its substrate; “the latter depends in its being upon fate, the former upon providence” (De prov. § 15 ff.). The third distinction concerns knowledge and truth: