#include <bits/stdc++.h>
int ins[100010] = {0}, ok[100010] = {0}, cnt = 0;
int n, m;
char ch;
int x;
int sum = 0, a[100010] = {0}, b[100010] = {0};
int main() {
  scanf("%d%d", &n, &m);
  for (int i = 1; i <= n; i++) {
    getchar();
    ch = getchar();
    scanf("%d", &x);
    if (ch == '+') {
      a[x]++;
      ins[i] = x;
    } else {
      b[x]++;
      ins[i] = -x;
      sum++;
    }
  }
  for (int i = 1; i <= n; i++) {
    if (a[i] + sum - b[i] == m) {
      ok[i] = 1;
      cnt++;
    }
  }
  for (int i = 1; i <= n; i++) {
    if (ins[i] > 0) {
      if (ok[ins[i]] && cnt == 1) {
        printf("Truth\n");
      } else if (!ok[ins[i]]) {
        printf("Lie\n");
      } else {
        printf("Not defined\n");
      }
    } else {
      if (!ok[-ins[i]]) {
        printf("Truth\n");
      } else if (ok[-ins[i]] && cnt == 1) {
        printf("Lie\n");
      } else {
        printf("Not defined\n");
      }
    }
  }
}
