label logic close label mathematics close label mathematics close