#include <bits/stdc++.h>
#pragma comment(linker, "/STACK:60000000")
using namespace std;
const int nmax = 100100;
int g[nmax], ng[nmax], n, m;
int told[nmax];
int main() {
  char c;
  int z, xz = 0, xy = 0;
  scanf("%d %d", &n, &m);
  for (int i = 0; i < (int)(n); i++) {
    cin >> c >> z;
    if (c == '-') {
      told[i] = -z;
      ng[z]++;
      xz++;
    } else {
      g[z]++;
      told[i] = z;
      xy++;
    }
  }
  int k = 0;
  for (int i = 1; i <= n; i++)
    if (xz - ng[i] + g[i] == m) {
      k++;
    }
  for (int i = 0; i < (int)(n); i++) {
    if (told[i] > 0) {
      if (xz - ng[told[i]] + g[told[i]] > m) {
        printf("Lie\n");
      } else if (xz - ng[told[i]] + g[told[i]] == m && k == 1) {
        printf("Truth\n");
      } else {
        printf("Not defined\n");
      }
    } else {
      if (xz - ng[-told[i]] + g[-told[i]] == m && k == 1) {
        printf("Lie\n");
      } else if (xz - ng[-told[i]] + g[-told[i]] > m) {
        printf("Truth\n");
      } else {
        printf("Not defined\n");
      }
    }
  }
  return 0;
}
