A summary exposition of the internal sense of the prophets and the Psalms of David