OH: "prägnante Beweissysteme sind keine Kryptographie, sie sind Systemdesign"