diff --git a/lean_consensus.pdf b/lean_consensus.pdf
index c307855f..65f993d1 100644
Binary files a/lean_consensus.pdf and b/lean_consensus.pdf differ