Module Memory.Boolean_Forward