#include <bits/stdc++.h>
using namespace std;
int a[100500];
int main() {
  int n, m;
  cin >> n >> m;
  vector<int> bplus(n + 1);
  vector<int> bminus(n + 1);
  int kplus = 0, kminus = 0;
  for (int i = 1; i <= n; i++) {
    bplus[i] = 0;
    bminus[i] = 0;
  }
  for (int i = 1; i <= n; i++) {
    cin >> a[i];
    if (a[i] > 0)
      kplus++;
    else
      kminus++;
    if (a[i] > 0) {
      bplus[a[i]]++;
    }
    if (a[i] < 0) {
      bminus[-a[i]]++;
    }
  }
  int res = 0;
  for (int i = 1; i <= n; i++) {
    if (bplus[i] + kminus - bminus[i] == m) res++;
  }
  for (int i = 1; i <= n; i++) {
    int ii = a[i];
    if (ii > 0) {
      if (bplus[ii] + kminus - bminus[ii] == m) {
        if (res == 1) {
          printf("Truth\n");
        } else
          printf("Not defined\n");
      } else
        printf("Lie\n");
    }
    if (ii < 0) {
      ii = -ii;
      if (bplus[ii] + kminus - bminus[ii] == m) {
        if (res == 1) {
          printf("Lie\n");
        } else
          printf("Not defined\n");
      } else
        printf("Truth\n");
    }
  }
  return 0;
}
