Now it was believed that the doctrine of freedom was only necessary as a negative condition for practical philosophy, whereas that of God and the nature of the soul, being part of theoretical philosophy, had to be proved independently and separately.