David Harel of Weizmann's Computer Science and Applied Mathematics Department constructed a mathematical model of the behavior of the nematode's feeding organ, the pharynx, in order to simulate ...