label logic close label mathematics close