#include <bits/stdc++.h>
using namespace std;
const int NMAX = 100010;
int N, M, F[NMAX], A[NMAX], V[NMAX], TotalA;
set<int> Pcand;
int main() {
  scanf("%i %i", &N, &M);
  for (int i = 1; i <= N; ++i) {
    scanf("%i", &V[i]);
    if (V[i] < 0)
      TotalA++, A[-V[i]]++;
    else
      F[V[i]]++;
  }
  for (int i = 1; i <= N; ++i)
    if (F[i] + TotalA - A[i] == M) Pcand.insert(i);
  for (int i = 1; i <= N; ++i)
    if (V[i] < 0) {
      if (Pcand.find(-V[i]) == Pcand.end())
        printf("Truth\n");
      else if (Pcand.size() == 1)
        printf("Lie\n");
      else
        printf("Not defined\n");
    } else {
      if (Pcand.find(V[i]) == Pcand.end())
        printf("Lie\n");
      else if (Pcand.size() == 1)
        printf("Truth\n");
      else
        printf("Not defined\n");
    }
}
