diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods
index 842a0db..e9cf6c1 100644
Binary files a/design/proof-erasure-coding.ods and b/design/proof-erasure-coding.ods differ