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

counter = tuple([0, 0] for i in xrange(n))
people = []

plus_count = 0
min_count  = 0

for i in xrange(n):
    s = raw_input()
    s, num = s[0], int(s[1:]) - 1
    people.append([s, num])
    if s == '+':
        plus_count += 1
        index = 0
    else:
        min_count += 1
        index = 1
    counter[num][index] += 1

can_be_killer = [False] * n

for i, person in enumerate(counter):
    if (person[0] + (min_count - person[1])) == m:
        can_be_killer[i] = True

multiple = (can_be_killer.count(True) > 1)

for person in people:
    if multiple and can_be_killer[person[1]]:
        print 'Not defined'
        continue
    
    if person[0] == '-' and can_be_killer[person[1]]:
        print 'Lie'
    elif person[0] == '+' and can_be_killer[person[1]]:
        print 'Truth'
    elif person[0] == '-' and not can_be_killer[person[1]]:
        print 'Truth'
    elif person[0] == '+' and not can_be_killer[person[1]]:
        print 'Lie'
    
