145 * J . Sandholm.