Föl * att kunna bevisa maskinernas godhetoch