Update Boolean Algebra doc