Men genom protokoll kan dock bevisas,