Module B.Boolean_Backward