diff --git a/everything_else/reproducing.m b/everything_else/reproducing.m
index 8b03efc..8088a99 100644
--- a/everything_else/reproducing.m
+++ b/everything_else/reproducing.m
@@ -349,6 +349,20 @@
 %% Pg. 55, SCM-BCR
 %% Pg. 56, Decomposition into symmetric and anti-symmetric parts
 
+b = dec2bin(2^8-1:-1:0)-'0';
+b1 = b(:,1); b2 = b(:,2); b3 = b(:,3); b4 = b(:,4); ba = b(:,5); ba1 = b(:,6); ba2 = b(:,7); ba3 = b(:,8);
+
+f = b1 + 2*b1.*b2 - 4*b1.*b2.*b3 + 2*b1.*b2.*b3.*b4;
+
+f_new_symm = 2*(-5 + b1 + b2 + b3 + b4 - ba1 - 2*ba2 + 5*ba3).^2;
+f_new_anti = b1 + 2*b1.*b2 + 4*(2 - b1 - b2 - b3).*ba;
+
+f_new = f_new_anti + f_new_symm;
+
+LHS=min(reshape(f_new,16,[]))
+RHS=min(reshape(f,16,[]))
+isequal(LHS,RHS)
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 QUANTUM GADGETS
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%