diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods index 442fb39..b3db3e1 100644 Binary files a/design/proof-erasure-coding.ods and b/design/proof-erasure-coding.ods differ