Terminate -- Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a