David’s lament explained