#include <bits/stdc++.h>
int main() {
  int n, m, t, sy, sn, ny[100001], nn[100001], tt[100001], s, sus[100001];
  scanf("%d%d", &n, &m);
  s = sy = sn = 0;
  for (int p = (1); p <= (n); p += (1)) ny[p] = nn[p] = 0;
  char cc, cad[9];
  for (int p = (1); p <= (n); p += (1)) {
    scanf("%s", &cad);
    if ('+' == cad[0]) {
      sscanf(cad, "%c%d", &cc, &t);
      sy++;
      ny[t]++;
      tt[p] = t;
    } else if ('-' == cad[0]) {
      sscanf(cad, "%c%d", &cc, &t);
      sn++;
      nn[t]++;
      tt[p] = -t;
    }
  }
  for (int p = (1); p <= (n); p += (1)) {
    sus[p] = 0;
    if (m == ny[p] + (sn - nn[p])) {
      s++;
      sus[p] = 1;
    }
  }
  for (int p = (1); p <= (n); p += (1)) {
    if (tt[p] > 0) {
      if (1 != sus[tt[p]])
        printf("Lie\n");
      else if (1 == s)
        printf("Truth\n");
      else
        printf("Not defined\n");
    } else if (tt[p] < 0) {
      if (1 != sus[-tt[p]])
        printf("Truth\n");
      else if (1 == s)
        printf("Lie\n");
      else
        printf("Not defined\n");
    }
  }
}
