Doctrine of St. Thomas on the right of property and its use.