Onko algoritmi oikeasti korjattu?