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