Dave and Hal = Marty and Socrates