THA LTD. IS DEVELOPPING IDEAS FOR COMPOSITION OF LOGICS.