label mathematics close label logic close label logic close