#include <bits/stdc++.h>
using namespace std;
const int maxn = 100005;
struct reader {
  template <typename Type>
  reader& operator>>(Type& ret) {
    int f = 1;
    ret = 0;
    char ch = getchar();
    for (; !isdigit(ch); ch = getchar())
      if (ch == '-') f = -f;
    for (; isdigit(ch); ch = getchar()) ret = (ret * 10) + ch - '0';
    ret *= f;
    return *this;
  }
} fin;
int N, M, S, tot;
int A[maxn], T[maxn], F[maxn];
int main() {
  fin >> N >> M;
  for (int i = 1; i <= N; i++) {
    fin >> A[i];
    if (A[i] > 0)
      ++T[A[i]];
    else
      --T[-A[i]], S++;
  }
  for (int i = 1; i <= N; i++)
    if (S + T[i] == M) F[i] = 1, ++tot;
  for (int i = 1; i <= N; i++) {
    if (A[i] > 0) {
      if (!F[A[i]])
        puts("Lie");
      else if (tot == 1)
        puts("Truth");
      else
        puts("Not defined");
    }
    if (A[i] < 0) {
      if (!F[-A[i]])
        puts("Truth");
      else if (tot == 1)
        puts("Lie");
      else
        puts("Not defined");
    }
  }
  return 0;
}
