#include <bits/stdc++.h>
using namespace std;
const double eps = 1e-12;
const double PI = acos(-1);
const long long INFF = (long long)1e18;
const int INF = (int)1e9;
const int mod = (int)1e9 + 9;
const int MAX = (int)3e5 + 7;
int a[MAX], cnt[MAX], cnt2[MAX], typ[MAX];
int main(void) {
  int n, m;
  scanf("%d %d", &n, &m);
  ;
  for (int i = (1); i < (n + 1); ++i) scanf("%d", a + i);
  int sum = 0;
  for (int i = (1); i < (n + 1); ++i) {
    if (a[i] > 0) {
      sum++;
      cnt2[a[i]]++;
    } else
      cnt[a[i]]++;
  }
  int t = 0;
  for (int i = (1); i < (n + 1); ++i) {
    int v1;
    if (a[i] > 0) {
      v1 = sum + cnt[a[i]] - cnt2[a[i]];
      if (v1 != n - m) {
        typ[i] = -1;
        t++;
      }
    } else {
      v1 = cnt2[a[i]];
      if (v1 > n - m) {
        typ[i] = -1;
        t++;
      }
    }
  }
  if (t == n - m) {
    for (int i = (1); i < (n + 1); ++i)
      if (!typ[i]) typ[i] = 1;
  }
  for (int i = (1); i < (n + 1); ++i) {
    if (typ[i] == 1)
      puts("Truth");
    else if (typ[i] == 0)
      puts("Not defined");
    else
      puts("Lie");
  }
  return 0;
}
