#include <bits/stdc++.h>
using namespace std;
int i, j, N, m, pt, nt, k, l;
int p[100000], n[100000], z[100000];
bool c[100000], o[100000];
char cc;
int main() {
  cin >> N >> m;
  for (i = 0; i < N; i++) p[i] = n[i] = z[i] = c[i] = o[i] = 0;
  for (i = 0; i < N; i++) {
    cin >> cc >> j;
    z[i] = j - 1;
    if (cc == '+') {
      o[i] = 1;
      p[j - 1]++;
      pt++;
    } else {
      n[j - 1]++;
      nt++;
    }
  }
  for (i = 0; i < N; i++)
    if (nt - n[i] + p[i] == m) c[l = i] = bool(++k);
  if (k == 1)
    for (i = 0; i < N; i++) {
      if ((z[i] == l) ^ !o[i])
        cout << "Truth\n";
      else
        cout << "Lie\n";
    }
  else
    for (i = 0; i < N; i++) {
      if (c[z[i]])
        cout << "Not defined\n";
      else if (o[i])
        cout << "Lie\n";
      else
        cout << "Truth\n";
    }
  return 0;
}
