#include <bits/stdc++.h>
using namespace std;
int n, m;
int orient[200000], who[200000], p[200000], hate[200000], love[200000],
    is[2][200000], d[200000];
int a = 0, b = 0, t, cnt, badguys = 0;
int main() {
  cin >> n >> m;
  for (int i = 0; i < n; i++) {
    scanf("%d", &t);
    if (t > 0) {
      t--;
      orient[i] = 1;
      hate[t]++;
      a++;
    } else {
      t++;
      t *= -1;
      orient[i] = 0;
      love[t]++;
      b++;
    }
    who[i] = t;
  }
  for (int i = 0; i < n; i++) {
    cnt = 0;
    cnt += hate[i];
    cnt += b - love[i];
    if (cnt == m) {
      d[i] = 1;
      badguys++;
    }
  }
  for (int i = 0; i < n; i++) {
    int j = who[i];
    if ((badguys == 1 && d[j] && !orient[i]) || (orient[i] && !d[j])) {
      cout << "Lie" << endl;
      continue;
    }
    if ((badguys == 1 && d[j] && orient[i] == 1) || (!orient[i] && !d[j])) {
      cout << "Truth" << endl;
      continue;
    }
    cout << "Not defined" << endl;
  }
  return 0;
}
