#include <bits/stdc++.h>
using namespace std;
int nextInt() {
  int x;
  scanf("%d", &x);
  return x;
}
const int BUFSIZE = 10000;
char buf[BUFSIZE + 1];
string nextString() {
  scanf("%s", buf);
  return buf;
}
int main() {
  int n = nextInt();
  int m = nextInt();
  vector<pair<int, int> > a(n);
  for (int i = 0; i < n; ++i) {
    string s = nextString();
    int x;
    sscanf(s.c_str() + 1, "%d", &x);
    a[i] = make_pair(s[0] == '+' ? 1 : -1, x - 1);
  }
  vector<int> kill(n, 0);
  vector<int> notKill(n, 0);
  for (int i = 0; i < a.size(); ++i) {
    if (a[i].first == 1) {
      ++kill[a[i].second];
    } else {
      ++notKill[a[i].second];
    }
  }
  int totalKill = accumulate(kill.begin(), kill.end(), 0);
  int totalNotKill = accumulate(notKill.begin(), notKill.end(), 0);
  vector<bool> mayKill(n, false);
  vector<bool> mayNotKill(n, false);
  for (int i = 0; i < n; ++i) {
    mayKill[i] = kill[i] + totalNotKill - notKill[i] == m;
    mayNotKill[i] = notKill[i] + totalKill - kill[i] == m;
  }
  int totalMayKill = accumulate(mayKill.begin(), mayKill.end(), 0);
  for (int i = 0; i < n; ++i) {
    bool mayTrue = false;
    bool mayFalse = false;
    int x = a[i].second;
    if (a[i].first == 1) {
      if (mayKill[x]) {
        mayTrue = true;
      }
      if (totalMayKill - mayKill[x] > 0) {
        mayFalse = true;
      }
    } else {
      if (mayKill[x]) {
        mayFalse = true;
      }
      if (totalMayKill - mayKill[x] > 0) {
        mayTrue = true;
      }
    }
    if (mayTrue && !mayFalse) {
      cout << "Truth" << endl;
    } else if (!mayTrue && mayFalse) {
      cout << "Lie" << endl;
    } else {
      cout << "Not defined" << endl;
    }
  }
  return 0;
}
