#include <bits/stdc++.h>
const int MAXN = 100100;
char ch[MAXN];
int id[MAXN];
int did[MAXN], didnot[MAXN];
int didt, didnott;
int n, m;
int can[MAXN];
int main() {
  scanf("%d%d\n", &n, &m);
  didt = didnott = 0;
  for (int i = 0; i < n; ++i) {
    scanf("%c%d\n", &ch[i], &id[i]);
    id[i]--;
    if (ch[i] == '-') {
      didnott++;
      didnot[id[i]]++;
    } else if (ch[i] == '+') {
      didt++;
      did[id[i]]++;
    }
  }
  int cant = 0;
  for (int i = 0; i < n; ++i) {
    if (did[i] + didnott - didnot[i] == m) {
      can[i] = 1;
    } else {
      can[i] = 0;
    }
    cant += can[i];
  }
  for (int i = 0; i < n; ++i) {
    if (ch[i] == '+') {
      if (!can[id[i]]) {
        puts("Lie");
      } else if (cant == 1) {
        puts("Truth");
      } else {
        puts("Not defined");
      }
    }
    if (ch[i] == '-') {
      if (!can[id[i]]) {
        puts("Truth");
      } else if (cant == 1) {
        puts("Lie");
      } else {
        puts("Not defined");
      }
    }
  }
  return 0;
}
