#include <bits/stdc++.h>
using namespace std;
int nots[110000], is[110000];
char fh[110000], to[110000];
int n, m;
int istot, nottot;
bool can[110000];
int tot = 0;
inline char getnext() {
  char p = getchar();
  while (p != '-' && p != '+') p = getchar();
  return p;
}
int main() {
  scanf("%d%d", &n, &m);
  for (int i = 1; i <= n; i++) {
    char p = getnext();
    int v;
    scanf("%d", &v);
    if (p == '+')
      is[v]++, istot++;
    else
      nots[v]++, nottot++;
    fh[i] = p;
    to[i] = v;
  }
  for (int i = 1; i <= n; i++) {
    int tru = 0;
    tru = nottot - nots[i] + is[i];
    if (tru == m) can[i] = 1, tot++;
  }
  for (int i = 1; i <= n; i++)
    if (fh[i] == '+') {
      if (can[to[i]]) {
        if (tot > 1)
          printf("Not defined\n");
        else
          printf("Truth\n");
      } else {
        if (tot != 1)
          printf("Not defined\n");
        else
          printf("Lie\n");
      }
    } else {
      if (can[to[i]]) {
        if (tot > 1)
          printf("Not defined\n");
        else
          printf("Lie\n");
      } else {
        if (tot != 1)
          printf("Not defined\n");
        else
          printf("Truth\n");
      }
    }
  return 0;
}
