n, m = map(int, raw_input().split())
plus, minus, to = [0] * n, [0] * n, [0] * n
op = ['+'] * n
for i in xrange(n):
	s = raw_input()
	op[i] = s[0]
	to[i] = int(s[1]) - 1
	if op[i] == '+':
		plus[to[i]] += 1
	else:
		minus[to[i]] += 1

sm = sum(minus)
killer = [m == sm - minus[i] + plus[i] for i in xrange(n)]
klrs = 0
for i in killer:
	klrs += 1 if i else 0

for i, sign in enumerate(op):
	v = to[i]
	if sign == '+':
		if killer[v] and klrs == 1:
			print 'Truth'
		elif killer[v]:
			print 'Not defined'
		else:
			print 'Lie'
	else:
		if killer[v] and klrs == 1:
			print 'Lie'
		elif killer[v]:
			print 'Not defined'
		else:
			print 'Truth'
