Formální ověření zůstává cestou.