diff --git a/lean_consensus.pdf b/lean_consensus.pdf
index 015c96e2..a281fe6a 100644
Binary files a/lean_consensus.pdf and b/lean_consensus.pdf differ