"Claude Woolman" . "1933-10-15"^^ . . . "Claude Woolman" . . . . "1989-07-05"^^ .