My condolences to the Mansholts.