OH: "zwięzłe systemy dowodowe to nie kryptografia, to projektowanie systemów"