#include <bits/stdc++.h>
using namespace std;
const int N = 100005;
vector<string> data;
int add[N], redu[N];
bool flag[N];
int main() {
  int n, m;
  scanf("%d%d", &n, &m);
  for (int i = 0; i < n; i++) {
    string str;
    cin >> str;
    data.push_back(str);
    if (str[0] == '+')
      add[str[1] - '0']++;
    else
      redu[str[1] - '0']++;
  }
  int sum1 = 0, sum2 = 0, cnt = 0;
  for (int i = 1; i <= n; i++) {
    sum1 += add[i];
    sum2 += redu[i];
  }
  for (int i = 1; i <= n; i++) {
    if (add[i] + sum2 - redu[i] == m) {
      flag[i] = 1;
      cnt++;
    }
  }
  for (int i = 0; i < (int)data.size(); i++) {
    if (data[i][0] == '+') {
      if (flag[data[i][1] - '0']) {
        if (cnt == 1)
          puts("Truth");
        else
          puts("Not defined");
      } else
        puts("Lie");
    } else {
      if (flag[data[i][1] - '0']) {
        if (cnt == 1)
          puts("Lie");
        else
          puts("Not defined");
      } else
        puts("Truth");
    }
  }
  return 0;
}
