from collections import Counter


n, m = map(int, input().split())

pank = 0
buben = []

bober = set()
for _ in range(n):
    k = int(input())
    buben.append(k)
    
    if k < 0: 
        pank += 1
 
cnt = Counter(buben)
k = 0
for i in range(1, n + 1):
    if cnt[i] + pank - cnt[-1 * i] == m:
        bober.add(i)
        k += 1
 
if k == 0:
    print('Not defined\n' * n)
    
elif k == 1:
    j = bober.pop()
    for x in buben:
        if x == j or (x < 0 and abs(x) != j):
            print('Truth')
            
        else: 
            print('Lie')
else:
    bober.update({-x for x in bober})
    
    for x in buben:
        if x in bober:
            print('Not defined')
            
        elif x < 0:
            print('Truth')
            
        else:
            print('Lie')