2.3.4 Neporušenost ukazovatele (pokud existuje) musí být ověřitelná operátorem.