label mathematics close label logic close