"The essence of a good career is a bad marriage" is sometimes attributed to John Holt. Did he say or write such a thing?