#include <bits/stdc++.h>
using namespace std;
int n, m;
pair<int, int> a[100100];
int pl = 0, mn = 0;
int u[100100];
int kl = 0;
pair<char, int> v[100100];
int main() {
  cin >> n >> m;
  scanf("\n");
  for (int i = 0; i < n; i++) {
    int q;
    char c;
    scanf("%c%d\n", &c, &q);
    q--;
    if (c == '+') {
      pl++;
      a[q].first++;
    } else {
      mn++;
      a[q].second++;
    }
    v[i].first = c;
    v[i].second = q;
  }
  int t;
  for (int i = 0; i < n; i++) {
    t = a[i].first + mn - a[i].second;
    if (t == m) {
      u[i] = 1;
      kl++;
    }
  }
  for (int i = 0; i < n; i++) {
    if (v[i].first == '+') {
      if (u[v[i].second]) {
        if (kl > 1)
          printf("Not defined\n");
        else
          printf("Truth\n");
      } else {
        printf("Lie\n");
      }
    } else {
      if (u[v[i].second]) {
        if (kl > 1)
          printf("Not defined\n");
        else
          printf("Truth\n");
      } else {
        if (kl > 0)
          printf("Truth\n");
        else
          printf("Not defined\n");
      }
    }
  }
  return 0;
}
