Module Sub.Boolean_Forward