Когда устал лепить формочки на реакте и решил переключиться на формальную верификацию