While its on my mind, fellow law wonks might find it interesting to ask ChatGPT about Hart's children. It consistently produces the same answer: Hart had two children. Usually, it names them as a son named Nicholas, and a daughter named Penny.