Was David aware of the five books written by Moses?