Formalna weryfikacja pozwala uniknac potencjalnych problemow i daje spokoj i na wypadek dostepu do z pomocy