#include <bits/stdc++.h>
int main() {
  size_t n, m;
  scanf("%d %d", &n, &m);
  char c;
  scanf("%c", &c);
  int* a = new int[n + 1];
  size_t* bad = new size_t[n + 1];
  size_t* good = new size_t[n + 1];
  bool* killer = new bool[n + 1];
  std::fill(bad, bad + n + 1, 0);
  std::fill(good, good + n + 1, 0);
  std::fill(killer, killer + n + 1, false);
  int sum = 0;
  for (size_t i = 0; i < n; ++i) {
    char c;
    scanf("%c%d", &c, &a[i]);
    if (c == '-') {
      bad[a[i]]++;
      a[i] *= -1;
      sum++;
    }
    if (c == '+') good[a[i]]++;
    scanf("%c", &c);
  }
  int kt = 0;
  for (size_t i = 1; i <= n; ++i) {
    int count = sum - bad[i] + good[i];
    killer[i] = count == m;
    if (count == m) kt++;
  }
  for (size_t i = 0; i < n; ++i) {
    if (a[i] > 0) {
      if (!killer[a[i]]) {
        printf("Lie\n");
      } else {
        if (kt == 1)
          printf("Truth\n");
        else
          printf("Not defined\n");
      }
    } else {
      if (!killer[-a[i]]) {
        printf("Truth\n");
      } else {
        if (kt == 1)
          printf("Lie\n");
        else
          printf("Not defined\n");
      }
    }
  }
  delete[] a;
  delete[] bad;
  delete[] good;
  delete[] killer;
  return 0;
}
