n,m=map(int,input().split())
c=[0]*(n+1)
dc=[0]*(n+1)
sumdc=0
sus=0
mark=[]
suspect=[]
for _ in range(n):
    k=int(input())
    mark.append(k)
    if k>0:
        c[k]+=1
    else:
        dc[abs(k)]+=1
        sumdc+=1
for i in range(1,n+1):  #假定每一个I 为罪犯
    if c[i]+sumdc-dc[i]==m:
        suspect.append(i)
if len(suspect)==1:
    for x in mark:
        print ("Truth") if x==suspect[0] else print("Lie")
else:
    for x in mark:
        if x>0:
            print("Not defined") if suspect.count(x)>0 else print("Lie")
        else:
            if suspect.count(abs(x))>0:
                print("Not defined")
            elif suspect.count(abs(x))==0:
                print("Truth")







