#include <bits/stdc++.h>
using namespace std;
const int MAX_N = 100 * 1000;
int N, M;
vector<int> issus[MAX_N];
vector<int> ntsus[MAX_N];
int is;
int nt;
int Arr[MAX_N];
int bala[MAX_N];
int paeen[MAX_N];
int Ans;
int main() {
  ios::sync_with_stdio(false);
  cin >> N >> M;
  for (int i = 1; i <= N; i++) {
    int temp;
    cin >> temp;
    Arr[i] = temp;
    if (temp < 0) {
      nt++;
      ntsus[-temp].push_back(i);
    } else {
      is++;
      issus[temp].push_back(i);
    }
  }
  for (int sus = 1; sus <= N; sus++) {
    if ((int)issus[sus].size() + nt - (int)ntsus[sus].size() != M) continue;
    Ans++;
    for (int i = 0; i < (int)issus[sus].size(); i++) {
      int x = issus[sus][i];
      paeen[x]++;
    }
    for (int i = 0; i < (int)ntsus[sus].size(); i++) {
      int x = ntsus[sus][i];
      bala[x]--;
    }
  }
  for (int i = 1; i <= N; i++) {
    if (Arr[i] > 0) {
      if (Ans == paeen[i])
        cout << "Truth" << endl;
      else if (paeen[i] == 0)
        cout << "Lie" << endl;
      else if (paeen[i] > 0)
        cout << "Not defined" << endl;
    }
    if (Arr[i] < 0) {
      if (bala[i] == 0)
        cout << "Truth" << endl;
      else if (bala[i] == (-1) && Ans == 1)
        cout << "Lie" << endl;
      else if (bala[i] < 0 && Ans > 1)
        cout << "Not defined" << endl;
    }
  }
  return 0;
}
