#include <bits/stdc++.h>
using namespace std;
const double pi = acos(-1);
int flag[1000000];
int t[1000000];
int num[1000000];
int num2[1000000];
int main() {
  memset(flag, 0, sizeof(flag));
  memset(t, 0, sizeof(t));
  memset(num, 0, sizeof(num));
  int n, m;
  scanf("%d%d", &n, &m);
  int tot = 0;
  for (int i = 0; i < n; ++i) {
    char cmd;
    int a;
    cin >> cmd >> a;
    if (cmd == '+') {
      tot++;
      num[a]++;
      flag[i + 1] = a;
    } else {
      flag[i + 1] = -a;
      num2[a]++;
    }
  }
  int truenum = 0;
  for (int i = 0; i < n; ++i) {
    if (tot - num[i + 1] + num2[i + 1] == (n - m)) {
      truenum++;
      t[i + 1] = 1;
    }
  }
  for (int i = 0; i < n; ++i) {
    if (truenum == 1) {
      if (flag[i + 1] >= 0) {
        if (t[flag[i + 1]] == 1) {
          printf("Truth\n");
          continue;
        } else {
          printf("Lie\n");
          continue;
        }
      } else {
        if (t[flag[i + 1] * -1] == 1) {
          printf("Lie\n");
          continue;
        } else {
          printf("Truth\n");
          continue;
        }
      }
    } else {
      if (flag[i + 1] >= 0) {
        if (t[flag[i + 1]] == 1) {
          printf("Not defined\n");
        } else {
          printf("Lie\n");
        }
      } else {
        if (t[flag[i + 1] * -1] == 1) {
          printf("Not defined\n");
        } else {
          printf("Truth\n");
        }
      }
    }
  }
}
