lima KKKK * l | terfi ( T,