RIP, Mr. Jefferson.