he was married to barbara lady judge chairman of the pension protection fund finally menelaus arrives home from egypt the proof of the four color conjecture is unlikely to be of applied significance