#include <bits/stdc++.h>
using namespace std;
int i, n, m, ung, numpos;
int ans[100500], G[100500], U[100500], pos[100500];
int main() {
  scanf("%d %d", &n, &m);
  ung = 0;
  for (i = 0; i < n; i++) {
    scanf("%d", &ans[i]);
    if (ans[i] > 0)
      G[ans[i]]++;
    else {
      U[-ans[i]]++;
      ung++;
    }
  }
  numpos = 0;
  for (i = 1; i <= n; i++)
    if (G[i] + ung - U[i] == m) {
      pos[i] = 1;
      numpos++;
    } else
      pos[i] = 0;
  for (i = 0; i < n; i++)
    if (ans[i] > 0) {
      if (pos[ans[i]] == 1) {
        if (numpos == 1)
          printf("Truth\n");
        else
          printf("Not defined\n");
      } else
        printf("Lie\n");
    } else {
      if (pos[-ans[i]] == 0)
        printf("Truth\n");
      else {
        if (numpos == 1)
          printf("Lie\n");
        else
          printf("Not defined\n");
      }
    }
  return 0;
}
