Huru troget ett rätlegångsprotokoll än är , gerdet