#include <bits/stdc++.h>
using namespace std;
template <class T>
void pv(T a, T b) {
  for (T i = a; i != b; ++i) cout << *i << " ";
  cout << endl;
}
const int maxn = 1e5 + 10;
int foi[maxn], all_foi;
int nfoi[maxn], all_nfoi;
int r[maxn], w[maxn];
int a[maxn], n, m;
int main() {
  cin >> n >> m;
  for (int i = 0; i < n; ++i) cin >> a[i];
  for (int i = 0; i < n; ++i)
    if (a[i] > 0)
      foi[a[i]]++, all_foi++;
    else
      nfoi[-a[i]]++, all_nfoi++;
  int ct = 0;
  for (int i = 0; i < n; ++i) {
    int x = i + 1;
    int acc = foi[x] + (all_nfoi - nfoi[x]);
    if (acc == m) r[x] = 1, ct++;
  }
  for (int i = 0; i < n; ++i) {
    int x = a[i];
    if (x > 0) {
      if (r[x]) {
        puts(ct > 1 ? "Not defined" : "Truth");
      } else {
        puts("Lie");
      }
    } else {
      x = -x;
      if (!r[x]) {
        puts("Truth");
      } else {
        puts(ct == 1 ? "Lie" : "Not defined");
      }
    }
  }
  return 0;
}
