#include <bits/stdc++.h>
using namespace std;
const int maxn = 100050;
int buf[maxn];
int A[maxn] = {}, B[maxn] = {}, SB = 0;
int st[maxn] = {};
int ans[maxn], o = 0;
bool g[maxn] = {};
int main(void) {
  int n, m;
  scanf("%d%d", &n, &m);
  for (int i = 1; i <= (n); ++i) {
    scanf("%d", buf + i);
    if (buf[i] > 0)
      A[buf[i]]++;
    else
      B[-buf[i]]++, SB++;
  }
  for (int i = 1; i <= (n); ++i) {
    if (A[i] + SB - B[i] == m) ans[o++] = i, g[i] = true;
  }
  if (o == 1) {
    for (int i = 1; i <= (n); ++i) {
      if (buf[i] == ans[0] || (buf[i] < 0 && buf[i] != -ans[0]))
        puts("Truth");
      else
        puts("Lie");
    }
  } else {
    for (int i = 1; i <= (n); ++i) {
      if (g[abs(buf[i])])
        puts("Not defined");
      else if (buf[i] > 0)
        puts("Lie");
      else
        puts("Truth");
    }
  }
  return 0;
}
