#include <bits/stdc++.h>
char s[100000][10];
int a[100000][2];
int b[100000];
int main() {
  int n, m, c = 0, p = 0, i;
  scanf("%d %d", &n, &m);
  for (i = 0; i < n; i++) scanf("%s", s[i]);
  if (n == m) {
    for (i = 0; i < n; i++) puts("Truth");
    return 0;
  }
  for (i = 0; i < n; i++) {
    int x = atoi(&s[i][1]) - 1;
    if (s[i][0] == '+') {
      a[x][0]++;
    } else {
      a[x][1]++;
      c++;
    }
  }
  for (i = 0; i < n; i++) {
    int x = a[i][0] + c - a[i][1];
    if (x == m) {
      b[i] = 1;
      p++;
    }
  }
  for (i = 0; i < n; i++) {
    int x = atoi(&s[i][1]) - 1;
    if (s[i][0] == '+') {
      if (b[x] == 0) {
        puts("Lie");
      } else if (p == 1) {
        puts("Truth");
      } else {
        puts("Not defined");
      }
    } else {
      if (b[x] == 1 && p == 1) {
        puts("Lie");
      } else if (p == 1) {
        puts("Truth");
      } else {
        puts("Not defined");
      }
    }
  }
  return 0;
}
