#include <bits/stdc++.h>
using namespace std;
int main() {
  int numPeople;
  int numTruth;
  cin >> numPeople >> numTruth;
  vector<int> ret(numPeople, -1);
  vector<pair<char, int> > statement(numPeople + 10);
  string t;
  for (int i = 0; i < numPeople; i++) {
    char c;
    cin >> c;
    int t;
    cin >> t;
    statement[i] = make_pair(c, t - 1);
  }
  for (int liar = 0; liar < numPeople; liar++) {
    int tellingTruth = 0;
    vector<bool> retT(numPeople, false);
    for (int i = 0; i < numPeople; i++) {
      if (statement[i].first == '+' && statement[i].second == liar) {
        tellingTruth++;
        retT[i] = true;
      }
      if (statement[i].first == '-' && statement[i].second != liar) {
        tellingTruth++;
        retT[i] = true;
      }
      if (tellingTruth > numTruth) break;
      if (numTruth > numPeople - liar + 10) break;
    }
    if (tellingTruth == numTruth) {
      for (int i = 0; i < numPeople; i++) {
        if (ret[i] == -1)
          ret[i] = retT[i];
        else if (ret[i] == 2)
          ;
        else if (ret[i] != retT[i])
          ret[i] = 2;
      }
    }
  }
  for (int i = 0; i < numPeople; i++) {
    if (ret[i] == 0) cout << "Lie" << endl;
    if (ret[i] == 1) cout << "Truth" << endl;
    if (ret[i] == 2) cout << "Not defined" << endl;
  }
  return 0;
}
