THA LTD. IS DEVELOPING IDEAS FOR COMPOSITION OF LOGICS.