Module Base.Boolean_Forward