#include <bits/stdc++.h>
using namespace std;
const double PI = acos(-1.0);
const double E = exp(1.0);
const double eps = 1e-8;
const double INFD = 1e20;
const long long INFLL = 0x3f3f3f3f3f3f3f3fll;
const int INF = 0x3f3f3f3f;
const int maxn = (int)1e5 + 10;
const int MAXN = (int)1e3 + 10;
const int MOD = (int)1e9 + 7;
int n, m;
int a[maxn];
int num1[maxn];
int num2[maxn];
bool flag[maxn];
bool flag2[maxn];
inline void solve() {
  int tot = 0;
  memset(flag, (false), sizeof(flag));
  memset(flag2, (false), sizeof(flag2));
  memset(num1, (0), sizeof(num1));
  memset(num2, (0), sizeof(num2));
  for (int i = 1; i <= n; ++i) {
    if (a[i] > 0)
      num1[a[i]]++;
    else if (a[i] < 0) {
      num2[-a[i]]++;
      tot++;
    }
  }
  int cnt = 0;
  for (int i = 1; i <= n; ++i) {
    if (num1[i] + tot - num2[i] == m) {
      flag[i] = true;
      cnt++;
    }
  }
  for (int i = 1; i <= n; ++i) {
    if (a[i] > 0) {
      if (!flag[a[i]])
        cout << "Lie" << endl;
      else if (cnt > 1)
        cout << "Not defined" << endl;
      else
        cout << "Truth" << endl;
    } else {
      if (!flag[-a[i]])
        cout << "Truth" << endl;
      else if (cnt > 1)
        cout << "Not defined" << endl;
      else
        cout << "Lie" << endl;
    }
  }
}
void RUN() {
  while (cin >> n >> m) {
    for (int i = 1; i <= n; ++i) {
      cin >> a[i];
    }
    solve();
  }
}
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  RUN();
  return 0;
}
