#include <bits/stdc++.h>
using namespace std;
int value[100000 + 10];
int ans[100000 + 10];
int perp[100000 + 10];
int main() {
  int n, m;
  scanf("%d%d", &n, &m);
  for (int i = (0); i < (n); ++i) value[i] = 0;
  int s = 0;
  for (int i = (0); i < (n); ++i) {
    int j;
    scanf("%d", &j);
    ans[i] = j;
    if (j < 0) {
      value[-j - 1]--;
    } else {
      s++;
      value[j - 1]++;
    }
  }
  int total = 0;
  for (int i = (0); i < (n); ++i) {
    if (perp[i] = bool(s - value[i] == n - m)) ++total;
  }
  for (int i = (0); i < (n); ++i) {
    int j = ans[i];
    if (j > 0) {
      --j;
      if (perp[j]) {
        if (total == 1)
          printf("Truth\n");
        else
          printf("Not defined\n");
      } else {
        printf("Lie\n");
      }
    } else {
      j = -j - 1;
      if (perp[j]) {
        if (total == 1)
          printf("Lie\n");
        else
          printf("Not defined\n");
      } else {
        printf("Truth\n");
      }
    }
  }
  return 0;
}
