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