from sys import stdin, stdout

n, m = map(int, stdin.readline().split())
cntf = [0 for i in range(n + 1)]
cnts = [0 for i in range(n + 1)]
challengers = []

for i in range(n):
    s = stdin.readline().strip()
    challengers.append(s)
    
    if s[0] == '+':
        cntf[int(s[1:])] += 1
    else:
        cnts[int(s[1:])] += 1

first = sum(cntf)
second = sum(cnts)
ans = set()

for i in range(1, n + 1):
    if cntf[i] + second - cnts[i] == m:
        ans.add(i)

for i in range(n):
    s = challengers[i]
    
    if s[0] == '+':
        if int(s[1:]) in ans:
            if len(ans) > 1:
                stdout.write('Not defined\n')
            else:
                stdout.write('Truth\n')
        else:
            stdout.write('Lie\n')
    else:
        if int(s[1:]) in ans:
            if len(ans) > 1:
                stdout.write('Not defined\n')
            else:
                stdout.write('Lie\n')
        else:
            stdout.write('Truth\n')        