Module Dummy_All_Basis.Boolean_Forward