#include <bits/stdc++.h>
using namespace std;
int a[100010], b[100010], ans[100010], c[100010];
pair<int, int> v[100010];
int main() {
  int T, m, i, j, k, n;
  while (~scanf("%d%d", &n, &m)) {
    int p = 0, q = 0;
    memset(a, 0, sizeof(a));
    memset(b, 0, sizeof(b));
    for (i = 1; i <= n; i++) {
      char s;
      getchar();
      scanf("%c%d", &s, &j);
      if (s == '+')
        a[j]++, p++, v[i] = make_pair(1, j);
      else
        b[j]++, q++, v[i] = make_pair(-1, j);
      ans[i] = c[i] = 0;
    }
    for (i = 1; i <= n; i++) {
      j = v[i].second;
      if (a[j] - b[j] + q == m) c[j] = 1;
    }
    m = 0;
    int first;
    for (i = 1; i <= n; i++)
      if (c[i]) m++, first = i;
    for (i = 1; i <= n; i++) {
      j = v[i].second;
      if (v[i].first == 1) {
        if (c[j]) ans[i] |= 1;
        if (m == 0 || m > 1) ans[i] |= 2;
      } else {
        if (c[j]) ans[i] |= 2;
        if (m == 1 && first != j) ans[i] |= 1;
        if (m > 1 || m == 0) ans[i] |= 1;
      }
    }
    for (i = 1; i <= n; i++)
      if (ans[i] == 1)
        puts("Truth");
      else if (ans[i] == 2)
        puts("Lie");
      else
        puts("Not defined");
  }
  return 0;
}
