1 files changed, 0 insertions, 1 deletions
diff --git a/proof.norg b/proof.norg
index 1379f78..2a0f768 100644
--- a/proof.norg
+++ b/proof.norg
@@ -46,7 +46,6 @@ version: 1.1.1
 	 By grouping the operations we get:
 	 /Y = alpha * A * B + beta * C/
 
-
 * Proof for the Interaction Rules
 ** Materialize
 	 The Materialize agent transforms a Linear agent into a tree of explicit mathematical operations