#include <bits/stdc++.h>
using namespace std;
char spk[100000][3];
bool peo[100000];
int main() {
  int n, m, i, j, count;
  while (scanf("%d %d", &n, &m) != EOF) {
    getchar();
    memset(peo, false, sizeof(peo));
    for (i = 0; i < n; i++) {
      scanf("%c%c", &spk[i][0], &spk[i][1]);
      getchar();
    }
    for (i = 0; i < n; i++) {
      count = 0;
      for (j = 0; j < n; j++) {
        if (spk[j][0] == '+' && spk[j][1] == i) count++;
        if (spk[j][0] == '-' && spk[j][1] != i) count++;
      }
      if (count == m) peo[i] = true;
    }
    count = 0;
    for (i = 0; i < n; i++)
      if (peo[i] == true) count++;
    for (int i = 0; i < n; i++) {
      if (spk[i][0] == '-' && peo[spk[i][1]] == false) printf("Truth\n");
      if (spk[i][0] == '-' && peo[spk[i][1]] == true && count > 1)
        printf("Not defined\n");
      if (spk[i][0] == '-' && peo[spk[i][1]] == true && count == 1)
        printf("Lie\n");
      if (spk[i][0] == '+' && peo[spk[i][1]] == false) printf("Lie\n");
      if (spk[i][0] == '+' && peo[spk[i][1]] == true && count > 1)
        printf("Not defined\n");
      if (spk[i][0] == '+' && peo[spk[i][1]] == true && count == 1)
        printf("Truth\n");
    }
  }
  return 0;
}
