Compute locally, verify globally to řeší.