SKY┬░ ESTATE. IS DEVELOPING IDEAS FOR COMPOSITION OF LOGICS.