#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m;
  cin >> n >> m;
  vector<int> tmp;
  vector<vector<int> > pluss(n, tmp);
  vector<vector<int> > mins(n, tmp);
  tmp.assign(n, 0);
  char c;
  int minss = 0;
  for (int i = 0; i < n; i++) {
    scanf("%c", &c);
    scanf("%c", &c);
    int num;
    scanf("%d", &num);
    num--;
    if (c == '-') {
      mins[num].push_back(i);
      minss++;
      tmp[i] = -num - 1;
    } else {
      pluss[num].push_back(i);
      tmp[i] = num + 1;
    }
  }
  vector<int> ans(n, 0);
  int k = 0;
  for (int i = 0; i < n; i++) {
    int s = int(pluss[i].size()) + minss - int(mins[i].size());
    if (s == m) {
      k++;
      for (size_t j = 0; j < pluss[i].size(); j++) {
        ans[pluss[i][j]]++;
      }
      for (size_t j = 0; j < mins[i].size(); j++) {
        ans[mins[i][j]]--;
      }
    }
  }
  for (int i = 0; i < n; i++) {
    if (ans[i] == 0) {
      printf("%s\n", "Lie");
      continue;
    }
    if (abs(ans[i]) == k) {
      if (tmp[i] > 0) {
        printf("%s\n", "Truth");
      } else {
        printf("%s\n", "Lie");
      }
      continue;
    }
    printf("%s\n", "Not defined");
  }
}
