#include <bits/stdc++.h>
using namespace std;
const int Maxn = 100 * 1000 + 10;
int n, m, neg[Maxn], poz[Maxn], sumneg, sumpoz, arr[Maxn], ansneg[Maxn],
    anspoz[Maxn];
void ok() {
  int numt = 0, num = 0, ind;
  for (int i = 1; i <= n; i++) {
    if (poz[i] + sumneg - neg[i] == m) {
      if (anspoz[i] == 0) num++;
      ind = i;
      anspoz[i] = 3;
      ansneg[i] = 3;
    } else {
      anspoz[i] = 2;
      ansneg[i] = 1;
      if (neg[i] > 0) numt++;
    }
  }
  if (num == 1) {
    anspoz[ind] = 1;
    ansneg[ind] = 2;
  }
  return;
}
int main() {
  cin >> n >> m;
  for (int i = 0; i < n; i++) {
    scanf("%d", &arr[i]);
    if (arr[i] > 0) {
      poz[abs(arr[i])]++;
      sumpoz++;
    } else {
      neg[abs(arr[i])]++;
      sumneg++;
    }
  }
  ok();
  for (int i = 0; i < n; i++) {
    if (arr[i] > 0) {
      if (anspoz[arr[i]] == 1) cout << "Truth" << endl;
      if (anspoz[arr[i]] == 2) cout << "Lie" << endl;
      if (anspoz[arr[i]] == 3) cout << "Not defined" << endl;
    } else {
      if (ansneg[-1 * arr[i]] == 1) cout << "Truth" << endl;
      if (ansneg[-1 * arr[i]] == 2) cout << "Lie" << endl;
      if (ansneg[-1 * arr[i]] == 3) cout << "Not defined" << endl;
    }
  }
  return 0;
}
