Denethor knows his history.