#include <bits/stdc++.h>
using namespace std;
int pre[100010];
char f[100010];
int a[100010];
int ans[100010];
int main() {
  int n, m, i, c, cnt = 0;
  scanf("%d", &n);
  scanf("%d", &m);
  for (i = 0; i < n; ++i) {
    scanf("%c", &f[i]);
    scanf("%c", &f[i]);
    scanf("%d", &a[i]);
    --a[i];
    if (f[i] == '+') {
      pre[a[i]]++;
      pre[a[i] + 1]--;
    } else {
      if (a[i]) {
        pre[0]++;
        pre[a[i]]--;
      }
      pre[a[i] + 1]++;
    }
  }
  if (pre[0] == m) {
    ans[0] = 1;
    cnt++;
  } else {
    ans[0] = 0;
  }
  for (i = 1; i < n; ++i) {
    pre[i] = pre[i - 1] + pre[i];
    if (pre[i] == m) {
      ans[i] = 1;
      cnt++;
    } else {
      ans[i] = 0;
    }
  }
  if (cnt > 1)
    for (i = 0; i < n; ++i)
      if (ans[i] == 1) ans[i] = -1;
  for (i = 0; i < n; ++i) {
    if (f[i] == '+') {
      if (ans[a[i]] == 1)
        printf("Truth\n");
      else if (ans[a[i]] == 0)
        printf("Lie\n");
      else
        printf("Not defined\n");
    } else {
      if (ans[a[i]] == 0)
        printf("Truth\n");
      else if (ans[a[i]] == 1)
        printf("Lie\n");
      else
        printf("Not defined\n");
    }
  }
}
