prochází formální kontrolou ()