#include <bits/stdc++.h>
using namespace std;
int n, m, a[100001], cnt1[100001], cnt2[100001], can[100001], cntn, cntcan;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> m;
  for (int i = 0; i < n; ++i) cin >> a[i], cntn += (a[i] < 0);
  for (int i = 0; i < n; ++i)
    if (a[i] > 0) ++cnt1[a[i] - 1];
  for (int i = 0; i < n; ++i) cnt2[i] = cntn;
  for (int i = 0; i < n; ++i)
    if (a[i] < 0) --cnt2[-a[i] - 1];
  for (int i = 0; i < n; ++i)
    can[i] = (cnt1[i] + cnt2[i] == m), cntcan += can[i];
  for (int i = 0; i < n; ++i) {
    if (a[i] > 0 && !can[a[i] - 1]) {
      cout << "Lie" << endl;
      continue;
    }
    if (a[i] > 0) {
      if (cntcan == 1) {
        cout << "Truth" << endl;
        continue;
      }
      cout << "Not defined" << endl;
      continue;
    }
    if (a[i] < 0 && !can[-a[i] - 1]) {
      cout << "Truth" << endl;
      continue;
    }
    if (cntcan == 1) {
      cout << "Lie" << endl;
      continue;
    }
    cout << "Not defined" << endl;
  }
  return 0;
}
