#include <bits/stdc++.h>
using namespace std;
const int mod = 1000000007;
const int inf = 50000000;
const int maxn = 100010;
int arr1[maxn], arr2[maxn], pos[maxn];
string str;
pair<char, int> data[maxn];
int main() {
  int n, m, i, j, sum1, sum2, sus_cnt = 0, cnt;
  char c;
  sum1 = sum2 = 0;
  scanf("%d%d", &n, &m);
  for (i = 1; i <= n; i++) {
    cin >> str;
    data[i].first = str[0];
    data[i].second = stoi(str.substr(1));
    if (data[i].first == '+') {
      sum1++;
      arr1[data[i].second]++;
    } else {
      sum2++;
      arr2[data[i].second]++;
    }
  }
  for (i = 1; i <= n; i++) {
    cnt = arr1[i] + (sum2 - arr2[i]);
    if (cnt == m) {
      sus_cnt++;
      pos[i] = 1;
    }
  }
  for (i = 1; i <= n; i++) {
    if (data[i].first == '+') {
      if (pos[data[i].second]) {
        if (sus_cnt > 1)
          printf("Not defined\n");
        else
          printf("Truth\n");
      } else
        printf("Lie\n");
    } else {
      if (sus_cnt == 1 && pos[data[i].second])
        printf("Lie\n");
      else if (!pos[data[i].second])
        printf("Truth\n");
      else
        printf("Not defined\n");
    }
  }
  return 0;
}
