Davidson and the omniscient interpreter